3387 search results - page 465 / 678 » Model-Checking for Real-Time Systems |
238
click to vote
PPDP
2007
Springer
16 years 1 months 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...
207
click to vote
ACSD
2010
IEEE
15 years 5 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...
231
click to vote
AVSS
2005
IEEE
16 years 1 months 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...
206
click to vote
ICMCS
2005
IEEE
16 years 1 months 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...
176
click to vote
ICCS
2003
Springer
16 years 28 days 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 ...