1,177 Hits in 6.6 sec

Context and Trust Aware Workflow Oriented Access Framework

Tapalina Bhattasali, Nabendu Chaki, Rituparna Chaki, Khalid Saeed
2016 Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering  
Proposed approach focuses on inter-component relationship where phases are executed either in online or offline mode to avoid performance bottleneck.  ...  Here, we propose a context and trust aware workflow oriented access framework.  ...  Soundness property of workflow net model guarantees the absence of livelocks, deadlocks, and other anomalies.  ... 
doi:10.18293/seke2016-179 dblp:conf/seke/BhattasaliCCS16 fatcat:3k5kapmkxnheressuhqyd5hori

The Electric Vehicles Ecosystem Model: Construct, Analysis and Identification of Key Challenges

Zulkarnain, Pekka Leviäkangas, Tuomo Kinnunen, Pekka Kess
2014 Managing Global Transitions  
This paper builds a conceptual model of electric vehicles' (EV) ecosystem and value chain build-up.  ...  The policy aspects include mostly taxation strategies.  ...  Authors also thank Mr Mikko Tarkiainen and Mr Teppo Kivento from vtt for their support and contribution.  ... 
doaj:5ae3a825cca84fe8a966204ce67fcf69 fatcat:q3mxeimiz5ai3bnae3zkxnoeii

A Governance Approach to Regional Energy Transition: Meaning, Conceptualization and Practice

Hoppe, Miedema
2020 Sustainability  
This is remarkable because policy makers across Europe are wondering what governance of regional transition actually is and how to shape and implement it.  ...  This paper contributes to the literature on polycentric governance of energy transition and climate change mitigation, and concludes with the presentation of a research agenda.  ...  When the negotiations between the grid operator and the housing associations ran into a deadlock the Cities of Breda and Tilburg intervened.  ... 
doi:10.3390/su12030915 fatcat:lbf4b7inqzcnxlf4dvx4fyjhym

Rights in Transit: Public Transportation and the Right to the City in California's East Bay

Jacob Shell, Julie Cidell, Samuel Stein, Nicholas Klein, Joaquín Villanueva, Kafui Ablode Attoh
2020 The AAG Review of Books  
For many of these residents, a right to the city means a right to transit.  ...  This dissertation seeks to add to that discussion by focusing on debates over transit policy in California's East Bay.  ...  At the heart of this growing movement has been the consistent belief --best expressed by the Los Angeles BRU--that "affordable, efficient, and environmentally sound mass transit is a human right" (The  ... 
doi:10.1080/2325548x.2020.1689064 fatcat:onjwqh6pxbas3k3b7fcqyyiqiq

Model-Checking In-Lined Reference Monitors [chapter]

Meera Sridhar, Kevin W. Hamlen
2010 Lecture Notes in Computer Science  
The technique is demonstrated through the enforcement and certification of a URL anti-redirection policy for ActionScript web applets.  ...  A technique for elegantly expressing In-lined Reference Monitor (IRM) certification as model-checking is presented and implemented.  ...  Acknowledgments The authors thank Peleus Uhley at Adobe Research for providing real-world SWF applets of interest for testing and certification, and R.  ... 
doi:10.1007/978-3-642-11319-2_23 fatcat:tlg3nvkzbnegfn3artnsrrlbuu

Hybridizing and Relaxing Dependence Tracking for Efficient Parallel Runtime Support

Man Cao, Minjia Zhang, Aritra Sengupta, Swarnendu Biswas, Michael D. Bond
2017 ACM Transactions on Parallel Computing  
This article presents the two approaches together to inform and inspire future designs for efficient parallel runtime support.  ...  HT uses an adaptive, profile-based policy to make runtime decisions about switching between pessimistic and optimistic tracking.  ...  ACKNOWLEDGMENTS We thank Matthew Flatt, Tim Harris, and the anonymous reviewers for valuable feedback on the text.  ... 
doi:10.1145/3108138 fatcat:ys6ukq6ezrbrrnb5jm7ozpvtx4

On fluidization of discrete event models: observation and control of continuous Petri nets

Manuel Silva, Jorge Júlvez, Cristian Mahulea, C. Renato Vázquez
2011 Discrete event dynamic systems  
As a preliminary overview, this work provides first a broad tutorial on the fluidization of discrete event dynamic models, an efficient technique for dealing with the classical state explosion problem.  ...  As a central modeling paradigm for parallel and synchronized discrete event systems, Petri nets (PNs) are then considered in much more detail.  ...  Acknowledgements This work benefits from the comments of the following colleagues and friends: R. David (INP de Grenoble), A. Giua (Univ. di Cagliari), E. Jiménez (Univ. de La Rioja), A.  ... 
doi:10.1007/s10626-011-0116-9 fatcat:bamxg2oap5hslne4iqdybhkln4

A Provably-Correct Protocol for Seamless Communication with Mobile, Multi-Homed Hosts [article]

Matvey Arye, Erik Nordstrom, Robert Kiefer, Jennifer Rexford, Michael J. Freedman
2012 arXiv   pre-print
As a result, hosts typically cannot spread a connection over multiple interfaces or paths, or change locations without breaking existing connections.  ...  Modern consumer devices, like smartphones and tablets, have multiple interfaces (e.g., WiFi and 3G) that attach to new access points as users move.  ...  This verifies that no deadlock exists, since a protocol that is deadlocked would be in a state that would not be able to transition to any other states. C.  ... 
arXiv:1203.4042v1 fatcat:cnwfixayhjdovbsecglyx4d4h4

DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems

Georgia Giannopoulou, Peter Poplavko, Dario Socci, Pengcheng Huang, Nikolay Stoimenov, Paraskevas Bourgos, Lothar Thiele, Marius Bozga, Saddek Bensalem, Sylvain Girbal, Madeleine Faugere, Romain Soulat (+1 others)
2018 Design automation for embedded systems  
Hence, it needs to be not only efficient, but also provably correct.  ...  Mixed-criticality systems are promoted in industry due to their potential to reduce size, weight, power, and cost.  ...  To avoid a deadlock in 'PeriodicA', at least one of the 'Thread' components should be ready for interaction at periodic instances in time: T A , 2T A , 3T A , . . ..  ... 
doi:10.1007/s10617-018-9206-3 fatcat:byr66bwtdrca5b5ugryv7anpte

A formally-verified migration protocol for mobile, multi-homed hosts

Matvey Arye, Erik Nordstrom, Robert Kiefer, Jennifer Rexford, Michael J. Freedman
2012 2012 20th IEEE International Conference on Network Protocols (ICNP)  
As a result, hosts typically cannot spread a connection over multiple interfaces or paths, or change locations without breaking existing connections.  ...  Modern consumer devices, like smartphones and tablets, have multiple interfaces (e.g., WiFi and 4G) that attach to new access points as users move.  ...  Funding was provided through the NSF (NETS Award #0904729 and FIA Award #1040708), the DARPA CSSG Program, an ONR Young Investigator Award, and a gift from Cisco Systems.  ... 
doi:10.1109/icnp.2012.6459961 dblp:conf/icnp/AryeNKRF12 fatcat:czdcl6bh2rbfdmsiguvuqvhecy

Multiprocessor Real-Time Locking Protocols: A Systematic Review [article]

Björn B. Brandenburg
2019 arXiv   pre-print
A special focus is placed on the suspension-oblivious and suspension-aware analysis approaches for semaphore protocols, their respective notions of priority inversion, optimality criteria, lower bounds  ...  critical sections, and implementation and system-integration aspects.  ...  In particular, it comes with the risk of deadlock, and even if application programmers are careful to avoid deadlocks, nesting still introduces intricate transitive blocking effects that are extremely  ... 
arXiv:1909.09600v1 fatcat:tmqcpiuxfbbd5jrcecgvoeanpm

Don't Put My Article Online!: Extending Copyright's New-Use Doctrine to the Electronic Publishing Media and beyond

Sidney A. Rosenzweig
1995 University of Pennsylvania law review  
COMPARING BARTSCH AND COHEN: BROADER GRANTS OF NEW-USE RIGHTS PROVE EFFICIENT Policy issues strongly favor Bartsch's broad grants to new uses and future technologies.  ...  Efficiency and Transaction Costs As William Landes and Richard Posner have observed, "copyright law can be explained as a means for promoting [an] efficient allocation of resources." 10 3 Contract interpretation  ... 
doi:10.2307/3312530 fatcat:hjbkn3jhivalxjpnp43ojqzusy

Aspect-Oriented Race Detection in Java

Eric Bodden, Klaus Havelund
2010 IEEE Transactions on Software Engineering  
Using the three new primitive pointcuts, researchers can directly implement efficient monitoring algorithms to detect concurrent-programming errors online.  ...  In the past, researchers have developed specialized programs to aid programmers in detecting concurrent programming errors such as deadlocks, livelocks, starvation, and data races.  ...  Part of the work described in this paper was carried out at the Jet Propulsion Laboratory, California Institute of Technology, under a contract with the US National Aeronautics and Space Administration  ... 
doi:10.1109/tse.2010.25 fatcat:uovks7u2fvawrcflwlolzbzmv4

Architecture of a Database System

Joseph M. Hellerstein, Michael Stonebraker, James Hamilton
2007 Foundations and Trends in Databases  
Database Management Systems (DBMSs) are a ubiquitous and critical component of modern computing, and the result of decades of research and development in both academia and industry.  ...  or a middleware server), to respond to SQL commands from the caller, and to return both data and control messages (result codes, errors, etc.) as appropriate.  ...  Muralidhar, Pat Selinger, Mehul Shah, and Matt Welsh for background information and comments on early drafts of this paper.  ... 
doi:10.1561/1900000002 fatcat:ve6wkgbgrngppk3cjcbfsevuye

Half a century after Carl Adam Petri's Ph.D. thesis: A perspective on the field

Manuel Silva
2013 Annual Reviews in Control  
It is certainly worth remarking on half a century of a work defining a landmark in Discrete Event Dynamic Systems (DEDS) theory.  ...  Given the hundreds of research and text monographs on Petri nets, together with the many thousands of theoretical and applied contributions on the subject, not to mention the ISO (International Organization  ...  , today emeritus professor at the University of Hamburg (DE), that was partially inspired by works at GMD; Giorgio De Michelis (Milano, IT), that join the field because of the suggestion of Gianni Degli  ... 
doi:10.1016/j.arcontrol.2013.09.001 fatcat:othq33ivp5hdtpxqiwznkek6pe
« Previous Showing results 1 — 15 out of 1,177 results