Sciweavers

10533 search results - page 1797 / 2107
» Design in reliability for communication designs
Sort
View
BIRTHDAY
2005
Springer
16 years 12 days ago
Timing the Untimed: Terminating Successfully While Being Conservative
Abstract. There have been several timed extensions of ACP-style process algebras with successful termination. None of them, to our knowledge, are equationally conservative (ground-...
Jos C. M. Baeten, Mohammad Reza Mousavi, Michel A....
CAEPIA
2005
Springer
16 years 12 days ago
Multiagent Architecture for Monitoring the North-Atlantic Carbon Dioxide Exchange Rate
This paper presents an architecture that makes it possible to construct dynamic systems capable of growing in dimension and adapting its knowledge to environmental changes. An arch...
Javier Bajo, Juan M. Corchado
CD
2005
Springer
16 years 12 days ago
Cooperative Component-Based Software Deployment in Wireless Ad Hoc Networks
Abstract. This paper presents a middleware platform we designed in order to allow the deployment of component-based software applications on mobile devices (such as laptops or pers...
Hervé Roussain, Frédéric Guid...
CEAS
2005
Springer
16 years 12 days ago
Email Task Management: An Iterative Relational Learning Approach
Today’s email clients were designed for yesterday’s email. Originally, email was merely a communication medium. Today, people engage in a variety of complex behaviours using e...
Rinat Khoussainov, Nicholas Kushmerick
CRYPTO
2005
Springer
149views Cryptology» more  CRYPTO 2005»
16 years 12 days ago
Authenticating Pervasive Devices with Human Protocols
Forgery and counterfeiting are emerging as serious security risks in low-cost pervasive computing devices. These devices lack the computational, storage, power, and communication r...
Ari Juels, Stephen A. Weis
« Prev « First page 1797 / 2107 Last » Next »