781 search results - page 79 / 157 » Automatic Formal Model Generation and Analysis of SDL |
CGF
2011
13 years 17 days ago
2011
The complexity and detail of geometric scenes that are used in today’s computer animated films and interactive games have reached a level where the manual creation by tradition...
ICWE
2007
Springer
14 years 3 months ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...
FMCAD
2000
Springer
14 years 17 days ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
UML
2005
Springer
14 years 2 months ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
AVBPA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In this paper we introduce a novel approach for learning view-invariant gait representation that does not require synthesizing particular views or any camera calibration....