134 search results - page 20 / 27 » On the Application of Formal Methods for Specifying and Veri... |
EUROPAR
2005
Springer
14 years 2 months ago
2005
Springer
A lot of recent research on content-based P2P searching for file-sharing applications has focused on exploiting semantic relations between peers to facilitate searching. To the be...
FASE
2004
Springer
14 years 9 days ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
ACOM
2004
Springer
14 years 10 days ago
2004
Springer
The Cognitive Agent Specification Language (CASL) is a framework for specifying and verifying complex communicating multiagent systems. In this paper, we develop an extended versi...
ICNP
2006
IEEE
14 years 2 months ago
2006
IEEE
— File distribution via network coding has received a lot of attention lately. However, direct application of network coding may have security problems. In particular, attackers ...
EUC
2006
Springer
14 years 7 days ago
2006
Springer
In this paper we define an algorithm for location-independent communication of mobile software Personal Assistants (PAs). The algorithm extends the Query Server with Caching algor...