199 search results - page 24 / 40 » Task-oriented engineering of coordinated software systems |
ECOOPWEXCEPTION
2000
Springer
2000
Springer
Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems
13 years 11 months ago
The chief aim of this survey is to discuss exception handling models which have been developed for concurrent object systems. In conducting this discussion we rely on the following...
ASWSD
2006
Springer
13 years 10 months ago
2006
Springer
Modern real-time embedded systems are complex, distributed, feature-rich applications. Model-based development of real-time embedded systems promises to simplify and accelerate the...
ISSTA
1998
ACM
13 years 11 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
ACMICEC
2007
ACM
13 years 10 months ago
2007
ACM
This paper discusses semantic interoperability issues in agentbased E-commerce systems. The literature reports various techniques to enable agents to understand the meanings of th...
AOSD
2007
ACM
13 years 10 months ago
2007
ACM
Developing and debugging parallel programs particularly for distributed memory architectures is still a difficult task. The most popular approach to developing parallel programs f...