1888 search results - page 90 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
131
click to vote
ICDCS
1995
IEEE
1995
IEEE
Implementing Sequentially Consistent Shared Objects Using Broadcast and Point-to-Point Communication
15 years 6 months ago
A distributed algorithm that implements a sequentially consistent collection of shared read/update objects using a combination of broadcast and point-to-point communication is pre...
152
click to vote
ICEGOV
2007
ACM
15 years 7 months ago
2007
ACM
Compared to the last decades, we have recently seen more and more governmental applications which are provided via the Internet directly to the citizens. Due to the long history o...
120
click to vote
ICFEM
1998
Springer
15 years 7 months ago
1998
Springer
We introduce the formal notion of an interaction interface. Its purpose is to specify formally the interaction between two or more components that co-operate as subsystems of a di...
138
click to vote
LPNMR
2005
Springer
15 years 8 months ago
2005
Springer
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...
121
click to vote
ICIP
2007
IEEE
16 years 5 months ago
2007
IEEE
In this paper, we propose a multi-camera video surveillance system with automatic camera selection. A new confidence measure, Quality-Of-View (QOV), is defined to automatically ev...