181 search results - page 1 / 37 » Deriving Specifications for Systems That Are Connected to th... |
BIRTHDAY
2007
Springer
13 years 8 months ago
2007
Springer
Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...
ICMB
2005
IEEE
13 years 10 months ago
2005
IEEE
This article investigates the growing complexity and connectivity between two former separated interaction spaces – the real and the virtual world. It is our attempt to augment ...
VRML
2004
ACM
13 years 10 months ago
2004
ACM
Maps of physical environments and geographical areas are pervasively exploited in many human activities. Electronic maps of virtual worlds have been studied and proven to be usefu...
INFOCOM
2008
IEEE
13 years 11 months ago
2008
IEEE
—Hardware advances will allow us to embed small devices into everyday objects such as toasters and coffee mugs, thus naturally form a wireless object network that connects the ob...
CORR
2008
Springer
13 years 4 months ago
2008
Springer
This paper explores the idea that the universe is a virtual reality created by information processing, and relates this strange idea to the findings of modern physics about the ph...