532 search results - page 19 / 107 » Distributed, Modular HTL |
ICIW
2008
IEEE
14 years 2 months ago
2008
IEEE
— Web Service is a standardization effort to interoperate loosely-coupled applications. A Web Service interaction benefits and sometimes requires additive functionalities, called...
DEXAW
2006
IEEE
14 years 1 months ago
2006
IEEE
The Common Request Broker Architecture (CORBA) specification originally did not include any support for fault-tolerance. The Fault-Tolerant CORBA standard was added to address th...
IAT
2009
IEEE
13 years 11 months ago
2009
IEEE
Abstract--This paper is focusing on exact Bayesian reasoning in systems of agents, which represent weakly coupled processing modules supporting collaborative inference through mess...
ISICT
2003
13 years 9 months ago
2003
Historically, a typical avionics system architecture has been designed as a federated architecture of black-boxes with well-defined functions and implemented on fully dedicated co...
CONCUR
2004
Springer
14 years 1 months ago
2004
Springer
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavi...