2468 search results - page 354 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
128
click to vote
EDOC
2005
IEEE
15 years 9 months ago
2005
IEEE
The web services architecture came as answers to the search for interoperability among applications. In recent years there has been a growing interest in deploying on the Internet...
132
Voted
SIGMOD
1993
ACM
15 years 7 months ago
1993
ACM
The traditional focus of relational query optimization schemes has been on the choice of join methods and join orders. Restrictions have typically been handled in query optimizers ...
147
Voted
ESWS
2009
Springer
15 years 10 months ago
2009
Springer
CULTURESAMPO is an application demonstration of a national level publication system of cultural heritage contents on the Web, based on ideas and technologies of the Semantic (Web a...
142
click to vote
ECRTS
2008
IEEE
15 years 10 months ago
2008
IEEE
Embedded services and applications that interact with the real world often, over time, need to run on different kinds of hardware (low-cost microcontrollers to powerful multicore ...
149
Voted
MOBICOM
2004
ACM
15 years 9 months ago
2004
ACM
A new modeling framework is introduced for the analytical study of medium access control (MAC) protocols operating in multihop ad hoc networks. The model takes into account the eï...