1980 search results - page 146 / 396 » Compositional Model Checking of Real Time Systems |
185
click to vote
CVPR
2011
IEEE
14 years 8 months ago
2011
IEEE
The majority of existing pedestrian trackers concentrate on maintaining the identities of targets, however systems for remote biometric analysis or activity recognition in surveill...
151
Voted
DSRT
2003
IEEE
15 years 7 months ago
2003
IEEE
“Smart Things” are commonly understood as wireless ad-hoc networked, mobile, autonomous, special purpose computing appliances, usually interacting with their environment impli...
116
click to vote
AFRIGRAPH
2004
ACM
15 years 7 months ago
2004
ACM
The demand for realistic human characters is driven by interactive application developers worldwide. The look of 3D models in real time graphics is efficiently improved by powerfu...
137
click to vote
AADEBUG
2005
Springer
15 years 7 months ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...
136
click to vote
RTCSA
2008
IEEE
15 years 8 months ago
2008
IEEE
· Modelling the fundamental performance limits of Wireless Sensor Networks (WSNs) is of paramount importance to understand the behaviour of WSN under worst-case conditions and to...