3387 search results - page 465 / 678 » Model-Checking for Real-Time Systems |
196
Voted
PPDP
2007
Springer
16 years 25 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
171
Voted
ACSD
2010
IEEE
15 years 4 months ago
2010
IEEE
POOSL (Parallel Object-Oriented Specification Language) is a powerful general purpose system-level modeling language. In research on design space exploration of motion control syst...
203
Voted
AVSS
2005
IEEE
16 years 11 days ago
2005
IEEE
Nowadays, many visual surveillance systems exploit PTZ camera to increase the field of view of a surveyed area. The background subtraction technique is widespread to detect movin...
174
Voted
ICMCS
2005
IEEE
16 years 10 days ago
2005
IEEE
The lack of eye contact in video conference degrades the user’s experience. This problem has been known and studied for many years. There are hardware-based solutions to the eye...
147
Voted
ICCS
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We describe a virtual telemetry system that allows us to devise and augment dynamic data-driven application simulations (DDDAS). Virtual telemetry has the advantage that ...