1893 search results - page 101 / 379 » Computational composites |
142
click to vote
ISORC
2009
IEEE
15 years 11 months ago
2009
IEEE
Complex real-time embedded systems should be compositional and deterministic in the resource, time, and value domains. Determinism eases the engineering of correct systems and com...
149
click to vote
ICSOC
2007
Springer
15 years 11 months ago
2007
Springer
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...
151
Voted
RTSS
2003
IEEE
15 years 10 months ago
2003
IEEE
We address the problem of providing compositional hard real-time guarantees in a hierarchy of schedulers. We first propose a resource model to characterize a periodic resource al...
150
click to vote
AGP
1994
IEEE
15 years 8 months ago
1994
IEEE
This paper considers compositions of conditional term rewriting systems as a basis for a modular approach to the design and analysis of equational logic programs. In this context,...
193
Voted
ICWS
2009
IEEE
15 years 2 months ago
2009
IEEE
Web service-based workflow management systems have garnered considerable attention for automating and scheduling dependent operations. Such systems often support user preferences,...