523 search results - page 60 / 105 » Online Testing of Real-time Systems Using Uppaal |
SUTC
2008
IEEE
14 years 2 months ago
2008
IEEE
Bomb disposal manned missions are inherently safetycritical. Wireless Sensor Network (WSN) technology potentially offers an opportunity to increase the safety of the operatives in...
CORR
2004
Springer
13 years 7 months ago
2004
Springer
Fairly rapid environmental changes call for continuous surveillance and on-line decision making. There are two main areas where IT technologies can be valuable. In this paper we pr...
WISTP
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. The Norwegian company Encap has developed protocols enabling individuals to use their mobile phones as one-time password (OTP) generators. An initial analysis of the prot...
HICSS
2008
IEEE
14 years 2 months ago
2008
IEEE
Advancing our knowledge about cues to deception is crucial to successful deception detection. A lengthy list of cues to deception has been identified via a myriad of deception stu...
IIWAS
2003
13 years 9 months ago
2003
This paper reports a research in progress to study the effect of information seeking behavior on an online purchase intention. There are several strategies people use to find info...