Sciweavers

3653 search results - page 90 / 731
» On Recognizable Timed Languages
Sort
View
SAC
2003
ACM
15 years 10 months ago
Design Time Support for Adaptive Behavior in Web Sites
Adaptive web sites are sites that automatically improve their internal organization and/or presentation by observing userbrowsing behavior. In this paper we argue that adaptive be...
Sven Casteleyn, Olga De Troyer, Saar Brockmans
ICALP
2003
Springer
15 years 10 months ago
Oracle Circuits for Branching-Time Model Checking
A special class of oracle circuits with tree-vector form is introduced. It is shown that they can be evaluated in deterministic polynomial-time with a polylog number of adaptive qu...
Ph. Schnoebelen
ISORC
2000
IEEE
15 years 9 months ago
GLADE: A Framework for Building Large Object-Oriented Real-Time Distributed Systems
This paper describes how GLADE, our implementation of the Ada 95 Distributed Systems Annex, can be used to build large object-oriented real-time distributed systems. In addition t...
Laurent Pautet, Samuel Tardieu
IPPS
1998
IEEE
15 years 9 months ago
Rapid Development of Real-Time Systems Using RTExpress
This paper presents the RTExpressTM environment which is a software tool that assists a user in rapidly developing real-time embedded systems. RTExpressTM is a compiler and runtim...
Milissa M. Benincasa, Richard Besler, Diane Brassa...
CSUR
1999
96views more  CSUR 1999»
15 years 4 months ago
Informedia Experience-on-Demand: Capturing, Integrating and Communicating Experiences across People, Time and Space
The Informedia Experience-on-Demand system uses speech, image, and natural language processing combined with GPS information to capture, integrate, and communicate personal multim...
Howard D. Wactlar, Michael G. Christel, Alexander ...