2004 search results - page 244 / 401 » Comparison of Model Checking Tools for Information Systems |
162
click to vote
CATA
2001
15 years 6 months ago
2001
: In this paper we analyze some existing tools and approaches to image data modeling and we propose an Object-Oriented Image Data (OOID) model. It can be applied on a wide variety ...
131
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Illumina's second-generation sequencing platform is playing an increasingly prominent role in modern DNA and RNA sequencing efforts. However, rapid, simple, stand...
269
click to vote
FM
1997
Springer
15 years 8 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
150
click to vote
CCS
2004
ACM
15 years 10 months ago
2004
ACM
Comparing the expressive power of access control models is recognized as a fundamental problem in computer security. Such comparisons are generally based on simulations between di...
126
click to vote
CHI
2005
ACM
16 years 5 months ago
2005
ACM
The Keystroke-Level Model (KLM) has been shown to predict skilled use of desktop systems, but has not been validated on a handheld device that uses a stylus instead of a keyboard....