1402 search results - page 91 / 281 » Distributed Integrity Checking for Systems with Replicated D... |
148
Voted
SCP
2010
15 years 2 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...
117
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: The Distributed Annotation System (DAS) is a network protocol for exchanging biological data. It is frequently used to share annotations of genomes and protein sequenc...
153
Voted
SIGMOD
1997
ACM
15 years 7 months ago
1997
ACM
Infomaster is an information integration system that provides integrated access tomultiple distributed heterogeneous information sources on the Internet, thus giving the illusion ...
165
click to vote
ENTCS
2006
15 years 3 months ago
2006
Model-Driven Architecture is an approach of the OMG, its objective is to tackle problems such as: the high availability that a software product requires to be ready for use, the h...
143
Voted
ESCIENCE
2007
IEEE
15 years 5 months ago
2007
IEEE
— The environmental science and engineering communities are actively engaged in planning and developing the next generation of large-scale sensor-based observing systems. These s...