628 search results - page 95 / 126 » Compositional design of isochronous systems |
143
click to vote
IPPS
2007
IEEE
16 years 17 days ago
2007
IEEE
Model checking, logging, debugging, and checkpointing/recovery are great tools to identify bugs in small sequential programs. The direct application of these techniques to the dom...
149
click to vote
CD
2004
Springer
15 years 11 months ago
2004
Springer
Development and deployment via components offers the possibility of prolific software reuse. However, to achieve this potential in a component-rich environment, it is necessary to...
162
click to vote
EDOC
2000
IEEE
15 years 10 months ago
2000
IEEE
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
163
click to vote
VLDB
1993
ACM
15 years 10 months ago
1993
ACM
Mb describe the design and implementation of a constraint management facility for our active object-oriented database system called Jasmine/A. The facility includes integrity cons...
136
click to vote
ICECCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Traditional, standards-based approaches to certification are hugely expensive, of questionable credibility when development is outsourced, and a barrier to innovation. This paper ...