222 search results - page 31 / 45 » A Formal Verification Methodology for Checking Data Integrit... |
118
Voted
FMCAD
2006
Springer
15 years 3 months ago
2006
Springer
Ario is a solver for systems of linear integer arithmetic logic. Such systems are commonly used in design verification applications and are classified under Satisfiability Modulo T...
106
click to vote
CASES
2007
ACM
15 years 3 months ago
2007
ACM
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
DAGSTUHL
2006
15 years 1 months ago
2006
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...
203
click to vote
GIS
2008
ACM
16 years 24 days ago
2008
ACM
Geospatial information integration is not a trivial task. An integrated view must be able to describe various heterogeneous data sources and its interrelation to obtain shared con...
104
click to vote
WWW
2004
ACM
16 years 12 days ago
2004
ACM
Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise a...