Sciweavers

399 search results - page 39 / 80
» context 2001
Sort
View
EPIA
2001
Springer
15 years 2 months ago
Global Hull Consistency with Local Search for Continuous Constraint Solving
This paper addresses constraint solving over continuous domains in the context of decision making, and discusses the trade-off between precision in the definition of the solution s...
Jorge Cruz, Pedro Barahona
FASE
2001
Springer
15 years 2 months ago
Debugging via Run-Time Type Checking
This paper describes the design and implementation of a tool for C programs that provides run-time checks based on type information. The tool instruments a program to monitor the t...
Alexey Loginov, Suan Hsi Yong, Susan Horwitz, Thom...
GI
2001
Springer
15 years 2 months ago
Proactive Services in a Distributed Traffic Telematics Application
: The paper describes a mobile application for traffic telematics, based on the Jini middleware. The application is realized as a set of user-level services, characterized by follo...
Nils Gura, Albert Held, Jörg Kaiser
GI
2001
Springer
15 years 2 months ago
Infrastructure for Pervasive Computing: Challenges
: As mobile and embedded computing devices become more pervasive, it is becoming obvious that the nature of interactions between users and computers must evolve. Applications need ...
Karen Henricksen, Jadwiga Indulska, Andry Rakotoni...
IEAAIE
2001
Springer
15 years 2 months ago
A Knowledge Model for Automatic Configuration of Traffic Messages
: This paper describes a knowledge model for a configuration problem in the domain of traffic control. The goal of this model is to help traffic engineers in the dynamic selection ...
Martín Molina, Mónica Robledo