672 search results - page 37 / 135 » Analysis and applications of timed service protocols |
COMAD
2008
13 years 10 months ago
2008
In this paper we present algorithms for identifying interesting subsets of a given database of records. In many real life applications, it is important to automatically discover s...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
— We propose a new internetworking architecture that represents a departure from current philosophy and practice, as a contribution to the ongoing debate regarding the future Int...
ESWS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Finding the optimal selection of an OWL reasoner and service interface for a specific ontology-based application is challenging. Over time it has become more and more di...
ADHOC
2008
13 years 9 months ago
2008
In this paper we present a novel probabilistic protocol for path discovery in Mobile Ad Hoc Networks (MANETs). The protocol implements what we call a polarized gossiping algorithm...
TGC
2007
Springer
14 years 3 months ago
2007
Springer
Many techniques exist for statically computing properties of the evolution of processes expressed in process algebras. Static analysis has shown how to obtain useful results that c...