1036 search results - page 105 / 208 » Ubiquitous Verification of Ubiquitous Systems |
SAC
2011
ACM
13 years 28 days ago
2011
ACM
Spatial networks like transportation, power, and pipeline networks are a ubiquitous spatial concept in everyday life and play an important role for navigational and routing purpos...
MA
1999
Springer
14 years 2 months ago
1999
Springer
Hive is a distributed agents platform, a decentralized system for building applications by networking local system resources. This paper presents the architecture of Hive, concent...
LICS
2010
IEEE
13 years 8 months ago
2010
IEEE
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...
PERCOM
2003
ACM
14 years 9 months ago
2003
ACM
We present a novel method of extracting topological and metric geographical data using only positional data sensed from personnel movements. We extend research from the field of r...
HICSS
2010
IEEE
14 years 5 months ago
2010
IEEE
We examine IT innovation processes and associated effects on industrial automation for a global supplier of high-technology automation equipment (ABB) and their customer (LKAB), a...