Sciweavers

652 search results - page 54 / 131
» A Knowledge-Based System within a Cooperative Processing Env...
Sort
View
RTAS
2007
IEEE
15 years 10 months ago
Hijack: Taking Control of COTS Systems for Real-Time User-Level Services
This paper focuses on a technique to empower commercial-off-the-shelf (COTS) systems with an execution environment, and corresponding services, to support realtime and embedded ap...
Gabriel Parmer, Richard West
AMR
2006
Springer
131views Multimedia» more  AMR 2006»
15 years 6 months ago
Aspects of Adaptivity in P2P Information Retrieval
Abstract. Peer-to-Peer networks are comprised of multiple independently administered computers (peers) that cooperate via a common protocol in order to achieve a goal common to the...
Wolfgang Müller 0002, Andreas Henrich, Martin...
COORDINATION
2009
Springer
16 years 5 months ago
Assume-Guarantee Verification of Concurrent Systems
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
Liliana D'Errico, Michele Loreti
CAISE
2004
Springer
15 years 10 months ago
Network-based Business Process Management: a Discussion on Embedding Business Logic in Communications Networks
Advanced Business Process Management (BPM) tools enable the decomposition of previously integrated and often ill-defined processes into reusable process modules. These process modu...
Louis-François Pau, Peter H. M. Vervest
CL
2000
Springer
15 years 8 months ago
Concurrent Constraint Programming with Process Mobility
Abstract. We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purp...
David Gilbert, Catuscia Palamidessi