461 search results - page 88 / 93 » Developing security protocols by refinement |
IWAN
2000
Springer
13 years 11 months ago
2000
Springer
This paper presents the main concepts of the IST Project FAIN "Future Active IP Networks" [10], a three-year collaborative research project, whose main task is to develo...
SIGMOD
2009
ACM
14 years 8 months ago
2009
ACM
Cell phones are increasingly being used as common clients for a wide suite of distributed, database-centric healthcare applications in developing regions. This is particularly tru...
HPCC
2005
Springer
14 years 1 months ago
2005
Springer
In this study, we defined requirements of ubiquitous environment, which users can monitor and control situations of home anytime, anywhere. In addition we developed and built a mod...
ICALP
2010
Springer
14 years 16 days ago
2010
Springer
Knowledge extraction is a fundamental notion, modeling machine possession of values (witnesses) in a computational complexity sense and enabling one to argue about the internal st...
NOMS
1998
IEEE
13 years 12 months ago
1998
IEEE
In this paper, we present a framework for managing ATM customer networks using WWW and CORBA technologies. The WWW technology may provide network management operators with platfor...