2870 search results - page 342 / 574 » Synchronization of multi-agent systems |
161
Voted
ICECCS
1998
IEEE
15 years 9 months ago
1998
IEEE
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...
122
click to vote
ASPDAC
2007
ACM
15 years 9 months ago
2007
ACM
- Current industry trends in system design -- multiple clocks, clocks with arbitrary frequency ratios, multi-phased clocks, gated clocks, and level-sensitive latches, combined with...
132
click to vote
CCGRID
2004
IEEE
15 years 8 months ago
2004
IEEE
Recently, a server-less video-on-demand architecture has been proposed to eliminate costly dedicated video servers and yet is highly scalable and reliable. However, because of the...
103
click to vote
UIST
1995
ACM
15 years 8 months ago
1995
ACM
Knowing what social activity is occurring within and through a Computer-Supported Cooperative Work (CSCW) system is often very useful. This is especially true for computer-mediate...
172
Voted
ERSHOV
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We address model checking problem for combination of Computation Tree Logic (CTL) and Propositional Logic of Knowledge (PLK) in finite systems with the perfect recall syn...