Sciweavers

1256 search results - page 181 / 252
» A Model of Interaction in Concurrent and Distributed Systems
Sort
View
103
Voted
CONCUR
2005
Springer
15 years 9 months ago
Deriving Weak Bisimulation Congruences from Reduction Systems
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawe...
146
Voted
AAMAS
2008
Springer
15 years 3 months ago
Using quantitative models to search for appropriate organizational designs
As the scale and scope of distributed and multi-agent systems grow, it becomes increasingly important to design and manage the participants' interactions. The potential for b...
Bryan Horling, Victor R. Lesser
SIGMOD
1989
ACM
118views Database» more  SIGMOD 1989»
15 years 7 months ago
The Architecture Of An Active Data Base Management System
The HiPAC project is investigating active, time-constrained databasemanagment. An active DBMS is one which automatically executes specified actions when speciifed conditions arise...
Dennis R. McCarthy, Umeshwar Dayal
ICPR
2006
IEEE
16 years 4 months ago
MONNET: Monitoring Pedestrians with a Network of Loosely-Coupled Cameras
MONNET is a visual surveillance system for tracking pedestrians over extended premises. The MONNET system is composed of intelligent nodes, which exchange information on the indiv...
Alexandra Branzan Albu, André Zaccarin, Den...
171
Voted
EUROCAST
1997
Springer
156views Hardware» more  EUROCAST 1997»
15 years 7 months ago
A Computational Model for Visual Size, Location and Movement
The ability to detect object size, location and movement is essential for a visual system in either a biological or man made environment. In this paper we present a model for esti...
Miguel Alemán-Flores, K. Nicholas Leibovic,...