306 search results - page 46 / 62 » From Scenarios to Timed Automata: Building Specifications fr... |
ECOOPW
2000
Springer
14 years 4 hour ago
2000
Springer
Abstract. The unrelenting pace of change that confronts contemporary software developers compels them to make their applications more configurable, flexible, and adaptable. A way t...
CVPR
2005
IEEE
14 years 9 months ago
2005
IEEE
Most available remote eye gaze trackers based on Pupil Center Corneal Reflection (PCCR) technique have two characteristics that prevent them from being widely used as an important...
TACAS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We present jETI, a redesign of the Electronic Tools Integration platform (ETI), that addresses the major issues and concerns accumulated over seven years of experience wi...
ICSOC
2004
Springer
14 years 1 months ago
2004
Springer
The paradigm shift from device-oriented to service-oriented management has also implications to the area of event correlation. Today’s event correlation mainly addresses the cor...
ICALP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Radio networks model wireless communication when processing units communicate using one wave frequency. This is captured by the property that multiple messages arriving s...