Sciweavers

5015 search results - page 756 / 1003
» Model Checking a Path
Sort
View
ICST
2008
IEEE
16 years 1 months ago
Designing and Building a Software Test Organization
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
Bruce Benton
EMSOFT
2004
Springer
16 years 3 hour ago
A model-based approach to integrating security policies for embedded devices
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
Michael McDougall, Rajeev Alur, Carl A. Gunter
DAGSTUHL
2004
15 years 8 months ago
An Example for Metamodeling Syntax and Semantics of Two Languages, their Transformation, and a Correctness Criterion
We study a metamodel for the Entity Relationship (ER) and the Relational data model. We do this by describing the syntax of the ER data model by introducing classes for ER schemata...
Martin Gogolla
ICCV
2009
IEEE
16 years 11 months ago
Context by Region Ancestry
In this paper, we introduce a new approach for modeling visual context. For this purpose, we consider the leaves of a hierarchical segmentation tree as elementary units. Each le...
Joseph J. Lim, Pablo Arbelaez, Chunhui Gu, and Jit...
ICPR
2006
IEEE
16 years 7 months ago
Removing Temporal Stationary Blur in Route Panoramas
The Route Panorama is a continuous, compact and complete image representation of scenes along a route. It is generated continuously from reading a preset line in a camera frame th...
Jiang Yu Zheng, Min Shi