330 search results - page 47 / 66 » Engineering distributed software: a structural discipline |
SIGSOFT
2003
ACM
14 years 8 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
ISORC
2006
IEEE
14 years 1 months ago
2006
IEEE
Integrated architectures promise substantial technical and economic benefits in the development of distributed embedded real-time systems. In the context of diagnosis new diagnos...
FOSSACS
2010
Springer
14 years 2 months ago
2010
Springer
For many application-level distributed protocols and parallel algorithms, the set of participants, the number of messages or the interaction structure are only known at run-time. T...
ISORC
2006
IEEE
14 years 1 months ago
2006
IEEE
Open multithreaded transactions constitute building blocks that allow a developer to design and structure the execution of complex distributed systems featuring cooperative and co...
MIDDLEWARE
2005
Springer
14 years 1 months ago
2005
Springer
This paper presents a context-aware middleware for multimodal dialogue applications. The middleware has the context tracing feature, which is the possibility of the middleware to ...