Sciweavers

1159 search results - page 77 / 232
» On relevance distributions
Sort
View
ESWS
2005
Springer
15 years 5 months ago
Enabling Real World Semantic Web Applications Through a Coordination Middleware
In a real world scenario Semantic Web applications must be capable to cope with the large scale, distributed, heterogeneous, unreliable and insecure environment of the World Wide W...
Robert Tolksdorf, Lyndon J. B. Nixon, Elena Paslar...
VECPAR
2004
Springer
15 years 5 months ago
Grid Technology for Biomedical Applications
The deployment of biomedical applications in a grid environment has started about three years ago in several European projects and national initiatives. These applications have dem...
Vincent Breton, Christophe Blanchet, Yannick Legr&...
DBISP2P
2003
Springer
67views Database» more  DBISP2P 2003»
15 years 5 months ago
Searchable Querical Data Networks
Recently, a new family of massive self-organizing networks has emerged that not only serve as a communication infrastructure, but also mainly as a distributed query processing syst...
Farnoush Banaei Kashani, Cyrus Shahabi
IPPS
2000
IEEE
15 years 4 months ago
Fast Measurement of LogP Parameters for Message Passing Platforms
Abstract. Performance modeling is important for implementing efficient parallel applications and runtime systems. The LogP model captures the relevant aspects of message passing i...
Thilo Kielmann, Henri E. Bal, Kees Verstoep
ARTS
1999
Springer
15 years 4 months ago
Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
Paul Z. Kolano