1980 search results - page 278 / 396 » Compositional Model Checking of Real Time Systems |
120
click to vote
FGR
1996
IEEE
15 years 7 months ago
1996
IEEE
We present a system for generation and recognition of oscillatory gestures. Inspired by gestures used in two representative human-tohuman control areas, we consider a set of oscil...
115
click to vote
DUX
2007
15 years 7 months ago
2007
Using 180 RFID tags to track and plot locations over time, guests to an event at the San Francisco Museum of Modern Art (SFMOMA) collectively constructed a public visualization of...
119
click to vote
SRDS
2006
IEEE
15 years 9 months ago
2006
IEEE
Availability prediction in a telecommunication system plays a crucial role in its management, either by alerting the operator to potential failures or by proactively initiating pr...
166
Voted
TCOS
2008
15 years 3 months ago
2008
Denotational mathematics is a category of expressive mathematical structures that deals with high-level mathematical entities beyond numbers and sets, such as abstract objects, com...
139
click to vote
ACMICEC
2005
ACM
15 years 8 months ago
2005
ACM
Current composite web service development and management solutions, e.g. BPEL, do not cater for assessing and maintaining comparability of business partners during business collab...