103 search results - page 20 / 21 » Run-time conformance checking of mobile and distributed syst... |
EMSOFT
2008
Springer
13 years 7 months ago
2008
Springer
We investigate the problem of specification based testing with dense sets of inputs and outputs, in particular with imprecision as they might occur due to errors in measurements, ...
ICRA
2003
IEEE
13 years 10 months ago
2003
IEEE
We are developing a network architecture for our novel robot concept of wearable robot. Wearable robots are mobile information devices capable of supporting remote communication a...
PADS
1998
ACM
13 years 8 months ago
1998
ACM
A number of library-based parallel and sequential network simulators have been designed. This paper describes a library, called GloMoSim (for Global Mobile system Simulator), for ...
CCS
2005
ACM
13 years 10 months ago
2005
ACM
In a reputation-based trust-management system, agents maintain information about the past behaviour of other agents. This information is used to guide future trust-based decisions...
IPPS
2006
IEEE
13 years 11 months ago
2006
IEEE
Battery lifetime, a primary design constraint for mobile embedded systems, has been shown to depend heavily on the load current profile. This paper explores how scheduling guidel...