Sciweavers

9210 search results - page 194 / 1842
» Analyzing Real-Time Systems
Sort
View
ICTAC
2004
Springer
14 years 2 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
MHCI
2004
Springer
14 years 2 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
ISORC
2000
IEEE
14 years 1 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
14 years 28 days 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
IDEAL
2000
Springer
14 years 27 days 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