230 search results - page 19 / 46 » Continuations and transducer composition |
76
Voted
CHARME
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. I develop a compositional theory of refinement for the branching time framework based on stuttering simulation and prove that if one system refines another, then a refine...
ISORC
1998
IEEE
15 years 4 months ago
1998
IEEE
Many modern chemical plants have to be modelled as complex hybrid systems consisting of various continuous and event-discrete components. Besides of the modular and easy-to-read s...
WOA
2001
15 years 1 months ago
2001
Observation is becoming a crucial issue in the engineering of today's systems: the common practice for dealing with their complexity is to encapsulate their subcomponents abs...
117
click to vote
PERVASIVE
2008
Springer
14 years 11 months ago
2008
Springer
Networked devices for the storage and rendering of digital media are rapidly becoming ubiquitous in homes throughout the industrialized world. Existing approaches to home media con...
ISF
2002
14 years 11 months ago
2002
Software agent-based negotiation is a major method to automate the interactions in electronic marketplaces and Internet enabled communities. The traditional approach is to let the...