7080 search results - page 1408 / 1416 » Designing High Integrity Systems Using Aspects |
EMSOFT
2010
Springer
14 years 8 months ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...
82
Voted
VSTTE
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
79
Voted
MOBIHOC
2008
ACM
15 years 10 months ago
2008
ACM
In this paper, we identify a new problem in wireless sensor networks, distance sensitive service discovery, where nearby or closest service selection guarantee is expected. We pro...
WWW
2010
ACM
15 years 5 months ago
2010
ACM
Semantic Web data exhibits very skewed frequency distributions among terms. Efficient large-scale distributed reasoning methods should maintain load-balance in the face of such hi...
94
Voted
EDBT
2010
ACM
15 years 5 months ago
2010
ACM
Schemas, and more generally metadata specifying structural and semantic constraints, are invaluable in data management. They facilitate conceptual design and enable checking of da...