533 search results - page 98 / 107 » Protocol synthesis from timed and structured specifications |
GI
2008
Springer
13 years 12 months ago
2008
Springer
: As data and services are increasingly distributed in the network, rather than stored in a fixed location, one can imagine a scenario in which the Personal Computer, intended as a...
BMCBI
2006
13 years 11 months ago
2006
Background: Quantitative descriptions of amino acid similarity, expressed as probabilistic models of evolutionary interchangeability, are central to many mainstream bioinformatic ...
SCP
2010
13 years 9 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
MIDDLEWARE
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. To disseminate messages from a single source to a large number of targeted receivers, a natural approach is the tree-based application layer multicast (ALM). However, in ...
VLDB
2007
ACM
14 years 11 months ago
2007
ACM
Whenever an intrusion occurs, the security and value of a computer system is compromised. Network-based attacks make it difficult for legitimate users to access various network ser...