3432 search results - page 360 / 687 » Model Development in the UML-based Specification Environment... |
204
click to vote
TCSV
2008
15 years 6 months ago
2008
Abstract--In this work, we study how continuous video monitoring and intelligent video processing can be used in eldercare to assist the independent living of elders and to improve...
167
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Tree automata completion is a technique for the verification of infinite state systems. It has already been used for the verification of cryptographic protocols and the prototyping...
211
click to vote
SEMCO
2009
IEEE
16 years 1 months ago
2009
IEEE
Software development and maintenance are highly distributed processes that involve a multitude of supporting tools and resources. Knowledge relevant to these resources is typicall...
198
click to vote
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
Object detection in unconstrained images is an important image understanding problem with many potential applications. There has been little success in creating a single algorithm...
179
click to vote
ECEASST
2006
15 years 6 months ago
2006
Abstract. The Eclipse Modeling Framework (EMF) provides a modeling and code generation framework for Eclipse applications based on structured data models. Within model driven softw...