4604 search results - page 562 / 921 » Concurrency in Synchronous Systems |
188
click to vote
PASTE
2004
ACM
16 years 1 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
202
click to vote
VR
2003
IEEE
16 years 26 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...
201
click to vote
AC
2003
Springer
16 years 25 days ago
2003
Springer
Abstract. A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach t...
200
click to vote
INFOCOM
2002
IEEE
16 years 16 days 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...
197
click to vote
CDC
2009
IEEE
16 years 10 days 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]...