373 search results - page 36 / 75 » Explicitly Modelling Model Debugging Environments |
MOBIQUITOUS
2005
IEEE
15 years 3 months ago
2005
IEEE
Ubiquitous Computing Environments feature massively distributed systems containing a large number of devices, services and applications that help end-users perform various kinds o...
101
click to vote
COMPSAC
2010
IEEE
14 years 6 months ago
2010
IEEE
Security analysis methods can provide correct yet meaningless results if the assumptions underlying the model do not conform to reality. We present an approach to analyze the secur...
FORTE
2008
14 years 11 months ago
2008
Abstract. The Signal Calculus is an asynchronous process calculus featuring multicast communication. It relies on explicit modeling of the communication structure of the network (c...
HAPTICS
2006
IEEE
15 years 3 months ago
2006
IEEE
The development and evaluation of haptic rendering algorithms presents two unique challenges. Firstly, the haptic information channel is fundamentally bidirectional, so the output...
MSO
2003
14 years 11 months ago
2003
The Tracker is one of the CMS (Compact Muon Solenoid experiment) detectors to be installed at the LHC (Large Hadron Collider) accelerator, scheduled to start data taking in 2007. ...