2004 search results - page 241 / 401 » Comparison of Model Checking Tools for Information Systems |
146
click to vote
SAIG
2000
Springer
15 years 8 months ago
2000
Springer
Extracting information from data, often also called data analysis, is an important scienti c task. Statistical approaches, which use methods from probability theory and numerical a...
130
click to vote
SIGMOD
2001
ACM
16 years 4 months ago
2001
ACM
From the standpoint of satisfying human's informationneeds, the current digital library (DL) systems suffer from the following two shortcomings: (i) inadequate high-level cog...
155
Voted
BMCBI
2010
15 years 4 months ago
2010
Background: CellML is an XML based language for representing mathematical models, in a machine-independent form which is suitable for their exchange between different authors, and...
137
click to vote
SG
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Modern premium automobiles are equipped with an increasing number of Electronic Control Units (ECUs). These ECUs are interconnected and form a complex network to provide ...
166
click to vote
ECBS
2007
IEEE
15 years 6 months ago
2007
IEEE
Intrusions impose tremendous threats to today’s computer hosts. Intrusions using security breaches to achieve unauthorized access or misuse of critical information can have cata...