1980 search results - page 287 / 396 » Compositional Model Checking of Real Time Systems |
125
Voted
CVPR
2006
IEEE
15 years 7 months ago
2006
IEEE
The face recognition system based on the only single classifier considering the restricted information can not guarantee the generality and superiority of performances in a real s...
151
click to vote
LCN
2005
IEEE
15 years 8 months ago
2005
IEEE
— The problem of achieving fairness in the allocation of the bandwidth resource on a link shared by multiple flows of traffic has been extensively researched over the last deca...
148
click to vote
DLT
2007
15 years 4 months ago
2007
Visibly Pushdown Automata (VPA) are a special case of pushdown machines where the stack operations are driven by the input. In this paper, we consider VPA with two stacks, namely 2...
146
click to vote
DAGSTUHL
1997
15 years 4 months ago
1997
A realistic simulation system, which couples geometry and physics, can provide a useful toolkit for virtual environments. Interactions among moving objects in the virtual worlds a...
101
click to vote
CHI
2006
ACM
16 years 3 months ago
2006
ACM
For the majority of us, inter-personal communication is an essential part of our daily lives. Instant Messaging, or IM, has been growing in popularity for personal and workrelated...