1888 search results - page 220 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
163
click to vote
RSP
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper describes the early analysis and estimation features currently implemented in the Berkeley Emulation Engine (BEE) system. BEE is an integrated rapid prototyping and des...
144
click to vote
ERSHOV
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. A basic cornerstone of the Semantic Web are formal languages for describing resources in a clear and unambiguous way. Logical underpinnings facilitate automated reasoning...
117
click to vote
HPDC
2007
IEEE
15 years 10 months ago
2007
IEEE
Large-scale donation-based distributed infrastructures need to cope with the inherent unreliability of participant nodes. A widely-used work scheduling technique in such environme...
151
click to vote
SASN
2006
ACM
15 years 10 months ago
2006
ACM
Intrusion or misbehaviour detection systems are an important and widely accepted security tool in computer and wireless sensor networks. Their aim is to detect misbehaving or faul...
139
click to vote
ECSCW
2001
15 years 5 months ago
2001
Abstract. Team automata provide a framework for capturing notions like coordination, colon, and cooperation in distributed systems. They consist of an abstract specification of com...