3909 search results - page 7 / 782 » Extreme Model Checking |
MCS
2011
Springer
13 years 1 months ago
2011
Springer
ICSOC
2010
Springer
13 years 9 months ago
2010
Springer
A request to a service registry must be answered with a service that fits in several regards, including semantic compatibility, non-functional compatibility, and interface compati...
ICSM
2009
IEEE
14 years 5 months ago
2009
IEEE
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered mode...
RTCSA
1999
IEEE
14 years 3 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
ACCV
2006
Springer
14 years 4 months ago
2006
Springer
Abstract. This paper addresses the problem of articulated motion tracking from image sequences. We describe a method that relies on an explicit parameterization of the extremal con...