1895 search results - page 168 / 379 » Using ATL for Checking Models |
173
click to vote
ICDE
2011
IEEE
14 years 8 months ago
2011
IEEE
—Complex SQL queries are widely used today, but it is rather difficult to check if a complex query has been written correctly. Formal verification based on comparing a specifi...
165
click to vote
RTCSA
1999
IEEE
15 years 9 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
160
Voted
WOSP
2005
ACM
15 years 10 months ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
127
Voted
SAC
2008
ACM
15 years 4 months ago
2008
ACM
In a hypothesis-based approach to digital investigation, the investigator formulates his hypothesis about which events took place, and tests them using the evidence available. A f...
142
click to vote
CSREAPSC
2006
15 years 6 months ago
2006
- This paper uses and extends the ideas of a multi-device interface design approach from a previous work developing a framework for mobile access to web systems. It can adapt any d...