851 search results - page 116 / 171 » Synthesis of Distributed Systems from Knowledge-Based Specif... |
LPAR
2010
Springer
13 years 8 months ago
2010
Springer
We consider a mild extension of universal algebra in which terms are built both from deterministic and probabilistic variables, and are interpreted as distributions. We formulate a...
CCECE
2006
IEEE
14 years 5 months ago
2006
IEEE
We develop a simple yet accurate analysis of the interference distribution in a cellular system, with particular emphasis on a two-hop fixed relay network, though the analysis may...
ATAL
2008
Springer
14 years 29 days ago
2008
Springer
In this paper we present the Electronic Institutions Development Environment (EIDE) to support the engineering of multiagent systems as Electronic Institutions. An electronic inst...
ICARCV
2006
IEEE
14 years 5 months ago
2006
IEEE
— This paper presents a novel approach for tracking a moving target of interest across a large-scale distributed camera system where some of the cameras are mobile. The growing t...
OSDI
1996
ACM
14 years 8 days ago
1996
ACM
This paper describes a novel approach to providingmodular and extensible operating system functionality and encapsulated environments based on a synthesis of microkernel and virtu...