4250 search results - page 814 / 850 » Understanding the Requirements on Modelling Techniques |
WOWMOM
2005
ACM
14 years 1 months ago
2005
ACM
Service discovery in mobile ad hoc networks is challenging because of the absence of any central intelligence in the network. Traditional solutions as used in the Internet are hen...
SIGIR
2004
ACM
14 years 1 months ago
2004
ACM
XML retrieval is a departure from standard document retrieval in which each individual XML element, ranging from italicized words or phrases to full blown articles, is a potential...
CLADE
2003
IEEE
14 years 29 days ago
2003
IEEE
With rapid technological advances in network infrastructure, programming languages, compatible component interfaces and so many more areas, today the computational Grid has evolve...
AC
2000
Springer
14 years 1 days ago
2000
Springer
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...
FASE
2009
Springer
13 years 11 months ago
2009
Springer
This paper describes the certification of smart-card applications in the framework of Common Criteria. In this framework, a smart-card application is represented by a model of its...