7785 search results - page 570 / 1557 » The Concept of Dynamic Analysis |
186
Voted
ATVA
2006
Springer
15 years 11 months ago
2006
Springer
Chaining can reduce the number of iterations required for symbolic state-space generation and model-checking, especially in Petri nets and similar asynchronous systems, but require...
209
click to vote
AVBPA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Human gait is an attractive modality for recognizing people at a distance. In this paper we adopt an appearance-basedapproach to the problem of gait recognition. The widt...
218
click to vote
CAISE
2008
Springer
15 years 9 months ago
2008
Springer
A recent trend in Ubiquitous Computing is that embedded software (e.g. in production machines, wired or wireless networked sensors and actuators, or RFID readers) directly offers W...
209
Voted
CAV
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
215
Voted
FASE
2008
Springer
15 years 9 months ago
2008
Springer
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph...