125 search results - page 1 / 25 » Describing Cryptobiosis as a Time Based Protection System Us... |
BIOSTEC
2008
13 years 6 months ago
2008
IWIA
2006
IEEE
13 years 10 months ago
2006
IEEE
The commonly used flaw hypothesis model (FHM) for performing penetration tests provides only limited, highlevel guidance for the derivation of actual penetration attempts. In thi...
DEDS
1998
13 years 4 months ago
1998
In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead of finite automata primarily because of the advantages they offer in de...
DDEP
2000
Springer
13 years 9 months ago
2000
Springer
As mobile computing becomes widespread, so will the need for digital document delivery by hypertextual means. A further trend will be the provision of the ability for devices to de...
CRV
2007
IEEE
13 years 11 months ago
2007
IEEE
Abstract— We present a formal framework for robotic cooperation in which we use an extension to Petri nets, known as workflow nets, to establish a protocol among mobile agents b...