7452 search results - page 1259 / 1491 » A Semantics for Multiprocessor Systems |
160
click to vote
MOMPES
2008
IEEE
16 years 1 months ago
2008
IEEE
During its lifetime, embedded systems go through multiple changes to their runtime architecture. That is, threads, processes, and processor are added or removed to/from the softwa...
198
click to vote
QEST
2008
IEEE
16 years 1 months ago
2008
IEEE
We tackle the problem of non robustness of simulation and bisimulation when dealing with probabilistic processes. It is important to ignore tiny deviations in probabilities becaus...
173
click to vote
EDOC
2007
IEEE
16 years 29 days ago
2007
IEEE
Abstract— In practice, the development of process-aware information systems suffers from a gap between conceptual business process models and executable workflow specifications...
190
click to vote
ICC
2007
IEEE
16 years 28 days ago
2007
IEEE
- Ontology engineering has been proposed as a formal mechanism for both reducing the complexity of managing the information needed in network management and autonomic systems and f...
169
click to vote
IPPS
2007
IEEE
16 years 28 days ago
2007
IEEE
NEBLO is a library and runtime system based on a structured overlay network. The API presented by NEBLO offers simple primitives and powerful mechanisms for programming generic p...