Sciweavers

2883 search results - page 146 / 577
» New Challenges in Dynamical Systems: The Networked Case
Sort
View
APPINF
2003
15 years 7 months ago
Towards Modelling an Intelligent Calendar Agent with LUPS
We present an application prototype of dynamic knowledge representation programmed in LUPS (a language for updating logic programs). This is a case study to model intelligent agen...
Juan Carlos Acosta Guadarrama, Mauricio Javier Oso...
MDM
2004
Springer
197views Communications» more  MDM 2004»
15 years 11 months ago
MobiVoD: A Video-on-Demand System Design for Mobile Ad Hoc Networks
— We present a design for a system that provides video-on-demand (VOD) services to mobile ad hoc clients. Such a system allows the clients to access video information anytime any...
Duc A. Tran, Minh Le, Kien A. Hua
FMICS
2008
Springer
15 years 8 months ago
Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties
Given the intractability of exhaustively verifying software, the use of runtime-verification, to verify single execution paths at runtime, is becoming popular. Although the use of ...
Christian Colombo, Gordon J. Pace, Gerardo Schneid...
EUSAI
2003
Springer
15 years 11 months ago
A Reactive QoS Routing Protocol for Ad Hoc Networks
Due to bandwidth constraint and dynamic topology of mobile ad hoc networks, supporting Quality of Service (QoS) is a challenging task. In this paper we present a complete solution...
Stéphane Lohier, Sidi-Mohammed Senouci, Yac...
WICON
2008
15 years 7 months ago
Programming in mobile ad hoc networks
The possibility for spontaneous ad hoc networks between mobile devices has been increasing as small devices become more capable of hosting useful networked applications. These app...
Justin Collins, Rajive Bagrodia