475 search results - page 37 / 95 » Reasoning About the Transfer of Control |
PADL
2011
Springer
12 years 11 months ago
2011
Springer
Modern challenges led to a design of a wide range of programming models for reactive, parallel and concurrent programming, but these are often t to encode in general purpose langua...
HYBRID
2005
Springer
14 years 2 months ago
2005
Springer
By transferring the theory of hybrid systems to a categorical framework, it is possible to develop a homology theory for hybrid systems: hybrid homology. This is achieved by consid...
MSOM
2010
13 years 7 months ago
2010
Dell’s supply chain for desktops involves Asian vendors shipping components by sea to several U.S. plants. While suppliers are responsible for shipping enough inventory, Dell ca...
EMSOFT
2007
Springer
14 years 2 months ago
2007
Springer
E-FRP is declarative language for programming resourcebounded, event-driven systems. The original high-level semantics of E-FRP requires that each event handler execute atomically...
FAABS
2000
Springer
14 years 11 days ago
2000
Springer
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...