315 search results - page 8 / 63 » Multiplex: A Formal Model for Multidatabases and Its Impleme... |
MOZ
2004
Springer
14 years 22 days ago
2004
Springer
Abstract. Although Constraint Programming (CP) is considered a useful tool for tackling combinatorial problems, its lack of flexibility when dealing with uncertainties and prefere...
OPODIS
2010
13 years 5 months ago
2010
Paxos is a well known algorithm for achieving consensus in distributed environments with uncertain processing and communication timing. Implementations of its variants have been s...
IFIP
2010
Springer
13 years 2 months ago
2010
Springer
Modern embedded systems are often heterogeneous in that their design requires several description paradigms, based on different models of computation and concurrency (MoCCs). In th...
CSI
2007
13 years 7 months ago
2007
The subject of research in this paper is RM-ODP, an ISO/ITU-T international standard. We investigate an important challenge that the standard faces, specifically the absence of a ...
FAABS
2000
Springer
13 years 11 months ago
2000
Springer
Much work in the field of agent-based systems has tended to focus on either the development of practical applications of agent systems on the one hand, or the development of sophis...