2227 search results - page 145 / 446 » Reversibility and Models for Concurrency |
188
click to vote
CSMR
2007
IEEE
16 years 14 days ago
2007
IEEE
A dynamic object process graph is a view on the control flow graph from the perspective of a single object. It has been shown that such a graph can be a useful starting point for...
174
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
Software comprehension (understanding software structure and behavior) is essential for developing, maintaining, and improving software. This is particularly true of agent-based s...
159
Voted
GPCE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Model-driven architecture envisions a paradigm shift as dramatic as the one from low-level assembler languages to high-level programming languages. In order for this visi...
162
click to vote
DAGM
2001
Springer
15 years 10 months ago
2001
Springer
Novel similarity measures for object recognition and image matching are proposed, which are inherently robust against occlusion, clutter, and nonlinear illumination changes. They c...
152
Voted
CEC
2008
IEEE
16 years 18 days ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...