2364 search results - page 425 / 473 » An Engine for Computing Well-Founded Models |
149
click to vote
ISORC
2007
IEEE
15 years 10 months ago
2007
IEEE
As quality of service (QoS)-enabled component middleware technologies gain widespread acceptance to build distributed real-time and embedded (DRE) systems, it becomes necessary fo...
124
click to vote
CODES
2006
IEEE
15 years 10 months ago
2006
IEEE
Middleware for parallel and distributed systems is designed to virtualize computation and communication resources so that a more and consistent view of those resources is presente...
123
click to vote
ISORC
2006
IEEE
15 years 9 months ago
2006
IEEE
Convenience, reliability, and effectiveness of automatic memory management have long been established in modern systems and programming languages such as Java. The timeliness req...
141
click to vote
ISORC
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper, we propose an architecture for adaptive real-time workflow-based collaborative system. Such a system is needed to support real-time communication and sharing of inf...
128
click to vote
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so-calle...