523 search results - page 67 / 105 » Online Testing of Real-time Systems Using Uppaal |
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
This work is based on the premise that online learning environments can potentially help develop communities of scholars by enabling participants to discover persons and resources...
HICSS
2008
IEEE
14 years 2 months ago
2008
IEEE
E-commerce has become an important part of business. In South Korea, the market size of online shopping malls was 13,460 billion Korean Won in 2006, and this figure keeps growing....
SIGUCCS
2004
ACM
14 years 1 months ago
2004
ACM
In June 2003, Lehigh University embarked on an experiment to present incoming freshmen with an online pre-orientation experience using the SCT Luminis 3 Portal environment. Three ...
ICIAP
2003
ACM
14 years 7 months ago
2003
ACM
This paper presents Olympus, a modular processing architecture for a distributed ambient intelligence. The system is aimed at detailed reporting of people wandering and gesturing ...
MOBIWAC
2006
ACM
14 years 1 months ago
2006
ACM
In this work we present a calibration-free system for locating wireless local area network devices, based on the radio frequency characteristics of such networks. Calibration proc...