2004 search results - page 308 / 401 » Comparison of Model Checking Tools for Information Systems |
SAC
2004
ACM
15 years 5 months ago
2004
ACM
A data warehouse (DW) provides an information for analytical processing, decision making, and data mining tools. On the one hand, the structure and content of a data warehouse ref...
120
click to vote
ITICSE
1996
ACM
15 years 4 months ago
1996
ACM
The operation of a computer can be conceptualised as a large, discrete and constantly changing set of state information. However even for the simplest uni-processor the data set o...
EHCI
2004
15 years 1 months ago
2004
New display technologies will enable designers to use every surface as a support for interaction with information technology. In this article, we describe techniques and tools for ...
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...
108
click to vote
ATVA
2004
Springer
15 years 5 months ago
2004
Springer
Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, ...