2004 search results - page 372 / 401 » Comparison of Model Checking Tools for Information Systems |
132
click to vote
BMCBI
2005
14 years 11 months ago
2005
Background: To study complex biochemical reaction networks in living cells researchers more and more rely on databases and computational methods. In order to facilitate computatio...
ICAIL
2009
ACM
15 years 6 months ago
2009
ACM
Throughout its history, AI researchers have alternatively seen their mission as producing computer behavior that is indistinguishable from that of humans or as providing computati...
107
click to vote
DEXA
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Data mining, which aims at extracting interesting information from large collections of data, has been widely used as an effective decision making tool. Mining the datas...
113
click to vote
HPDC
2002
IEEE
15 years 4 months ago
2002
IEEE
The increasingly common practice of replicating datasets and using resources as distributed data stores in Grid environments has led to the problem of determining which replica ca...
109
click to vote
JSW
2008
14 years 11 months ago
2008
With the menace of hackers increasing every day, even well administrated networks are vulnerable to attack. Therefore, securing network assets has become a significant issue for th...