Sciweavers

9210 search results - page 194 / 1842
» Analyzing Real-Time Systems
Sort
View
94
Voted
ICTAC
2004
Springer
15 years 6 months ago
Real Time Reactive Programming in Lucid Enriched with Contexts
Abstract. We present a synchronous approach to real-time reactive programming in Lucid enriched with contexts as first class objects. The declarative intensional approach allows r...
Kaiyu Wan, Vasu S. Alagar, Joey Paquet
100
Voted
MHCI
2004
Springer
15 years 6 months ago
Supporting Mobile Applications with Real-Time Visualisation of GPS Availability
Many mobile applications rely on the Global Positioning System (GPS) to provide position and location information. However, there are many problems with using GPS in urban environm...
Anthony Steed
127
Voted
ISORC
2000
IEEE
15 years 5 months ago
Experimentation in CPU Control with Real-Time Java
This paper describes experiences in using an O.O. language (Java) in designing, prototyping and evaluating a CPU manager. QoS Animator facilitates the execution of object oriented...
Gerasimos Xydas, Jerome Tassel
FASE
2000
Springer
15 years 4 months ago
A Process Algebra for Real-Time Programs
Abstract. We introduce a generalised notion of a real-time speci cation language (\GPLC-Automata") that can be translated directly into real-time programs. In order to describ...
Henning Dierks
111
Voted
IDEAL
2000
Springer
15 years 4 months ago
Real-Time Web Data Mining and Visualisation
This paper presents new services for intelligent monitoring and visualising user accesses to a university's web site. These are based on the use of data mining techniques to p...
Li Bai, Ni Guohua