1831 search results - page 204 / 367 » Time Constraints in Workflow Systems |
133
click to vote
HYBRID
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
132
click to vote
EMSOFT
2010
Springer
15 years 2 months ago
2010
Springer
In the design of hard real-time systems, the feasibility of the task set is one of the primary concerns. However, in embedded systems with scarce resources, optimizing resource us...
156
click to vote
EDCC
2010
Springer
15 years 9 months ago
2010
Springer
—Assurance Based Development (ABD) is a novel approach to the synergistic construction of critical software systems and their assurance arguments. In ABD, the need for assurance ...
159
click to vote
IDEAL
2000
Springer
15 years 8 months ago
2000
Springer
In multi -agent systems based on softbots, communication architectures have significant influences on system performance as interaction and cooperation of softbots are carried out...
136
click to vote
IPPS
2008
IEEE
15 years 11 months ago
2008
IEEE
High-performance microprocessors, e.g., multithreaded and multicore processors, are being implemented in embedded real-time systems because of the increasing computational require...