2004 search results - page 212 / 401 » Comparison of Model Checking Tools for Information Systems |
172
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
The approach of continuous evaluation is an important tool in the learning process. However, only recently it was applied in training based on virtual reality. This paper presents ...
149
click to vote
HOTOS
1999
IEEE
15 years 10 months ago
1999
IEEE
Most modern I/O systems treat each file access independently. However, events in a computer system are driven by programs. Thus, accesses to files occur in consistent patterns and...
170
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Tight clustering arose recently from a desire to obtain tighter and potentially more informative clusters in gene expression studies. Scattered genes with relatively l...
298
click to vote
POPL
2004
ACM
16 years 6 months ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...
157
click to vote
KDD
2003
ACM
16 years 6 months ago
2003
ACM
Government regulations are semi-structured text documents that are often voluminous, heavily cross-referenced between provisions and even ambiguous. Multiple sources of regulation...