3733 search results - page 170 / 747 » Logics of communication and change |
119
click to vote
VLDB
1990
ACM
15 years 5 months ago
1990
ACM
In this paper, we present an efficient algorithm for managing replicated data. We impose a logical tree structure on the set of copies of an object. In a failurefree environment t...
116
click to vote
MFCS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The description of a single state of a modelled system is often complex in practice, but few procedures for synthesis address this problem in depth. We study systems in w...
129
click to vote
EMSOFT
2008
Springer
15 years 3 months ago
2008
Springer
We present a framework for component-based design and scheduling of real-time embedded software. Each component has a clearly specified interface that includes the methods used fo...
114
click to vote
TCAD
1998
15 years 1 months ago
1998
Abstract—We examine the implications of a new hazard-free combinational logic synthesis method [1], which generates multiplexor-based networks from binary decision diagrams (BDDs...
104
click to vote
ECRA
2002
15 years 1 months ago
2002
This paper presents a formal and executable approach to capture the behaviour of parties involved in a negotiation. A party is modeled as a negotiating agent composed of a communi...