687 search results - page 108 / 138 » Specification and Verification of Model Transformations Usin... |
94
Voted
WECWIS
2006
IEEE
15 years 6 months ago
2006
IEEE
Today’s business climate requires organizations to constantly evolve IT strategies to respond to new opportunities or threats. Tracking the achievement of business goals, object...
89
Voted
VLDB
1989
ACM
15 years 4 months ago
1989
ACM
The derived data update problem involves the transformation of modifications of derived facts into corresponding changes to base facts and other derived facts. Using a database sc...
113
Voted
BMCBI
2010
15 years 17 days ago
2010
Background: The amount of available biological information is rapidly increasing and the focus of biological research has moved from single components to networks and even larger ...
ALGORITHMICA
2004
15 years 10 days ago
2004
Query answers from on-line databases can easily be corrupted by hackers or malicious database publishers. Thus it is important to provide mechanisms which allow clients to trust th...
119
Voted
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...