2638 search results - page 499 / 528 » Frameworks for Reasoning about Agent Based Systems |
138
click to vote
SAC
2006
ACM
15 years 7 months ago
2006
ACM
The Coalition Peering Domain (CPD) is a recent innovation within the field of mesh networking. It facilitates the management of community-area networks in a distributed and scala...
111
Voted
FASE
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
115
Voted
MIE
2008
15 years 3 months ago
2008
: This paper describes foundational work investigating the protection requirements of sensitive medical information, which is being stored more routinely in repository systems for ...
103
click to vote
CII
2008
15 years 2 months ago
2008
Because of the current trend of integration and interoperability of industrial systems, their size and complexity continue to grow making it more difficult to analyze, to understa...
114
Voted
TSP
2008
15 years 1 months ago
2008
This study examines the problem of target detection by a wireless sensor network. Sensors acquire measurements emitted from the target that are corrupted by noise and initially ma...