7557 search results - page 409 / 1512 » Modeling Timed Concurrent Systems |
194
click to vote
MAM
2008
15 years 6 months ago
2008
This paper presents a design methodology for a hybrid Hardwarein-the-Loop (HIL) tester tool, based on both discrete event system theory, given by timed automata, and continuous sy...
209
click to vote
ISCC
2006
IEEE
16 years 24 days ago
2006
IEEE
Denial-of-Service attacks, and jamming in particular, are a threat to wireless networks because they are at the same time easy to mount and difficult to detect and stop. We propo...
179
click to vote
VR
2003
IEEE
16 years 1 days ago
2003
IEEE
Bone dissection is an important component of many surgical procedures. In this paper, we discuss adaptive techniques for providing real-time haptic and visual feedback during a vi...
185
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
There are various techniques for adapting the transmission rate of an application while maintaining the perceived quality at the receiver at acceptable levels. Shared channel syst...
179
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— In recent years, classical discrete event fault diagnosis techniques have been extended to Petri Net system models under partial order semantics [8], [9], [13]. In [14]...