Sciweavers

1134 search results - page 128 / 227
» Using Constraints with Action Language for Model Evolution
Sort
View
TIP
2008
116views more  TIP 2008»
15 years 6 months ago
Self-Repelling Snakes for Topology-Preserving Segmentation Models
The implicit framework of the level-set method has several advantages when tracking propagating fronts. Indeed, the evolving contour is embedded in a higher dimensional level-set f...
Carole Le Guyader, Luminita A. Vese
IFM
2010
Springer
142views Formal Methods» more  IFM 2010»
15 years 4 months ago
An Event-B Approach to Data Sharing Agreements
A Data Sharing Agreement (DSA) is a contract among two or more principals regulating how they share data. Agreements are usually represented as a set of clauses expressed using the...
Alvaro E. Arenas, Benjamin Aziz, Juan Bicarregui, ...
PODS
1999
ACM
160views Database» more  PODS 1999»
15 years 10 months ago
Queries with Incomplete Answers over Semistructured Data
Semistructured data occur in situations where information lacks a homogeneous structure and is incomplete. Yet, up to now the incompleteness of information has not been re ected b...
Yaron Kanza, Werner Nutt, Yehoshua Sagiv
ICST
2009
IEEE
16 years 29 days ago
Inferring Types of References to GUI Objects in Test Scripts
Since manual black-box testing of GUI-based APplications (GAPs) is tedious and laborious, test engineers create test scripts to automate the testing process. These test scripts in...
Chen Fu, Mark Grechanik, Qing Xie
EMSOFT
2005
Springer
15 years 12 months ago
From statecharts to ESP: programming with events, states and predicates for embedded systems
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...
Vugranam C. Sreedhar, Maria-Cristina V. Marinescu