2004 search results - page 367 / 401 » Comparison of Model Checking Tools for Information Systems |
PRICAI
2000
Springer
15 years 3 months ago
2000
Springer
A system that applies a method of knowledge-intensive case-based reasoning, for repair and prevention of unwanted events in the domain of offshore oil well drilling, has been deve...
VLDB
1991
ACM
15 years 3 months ago
1991
ACM
Queries in object-oriented datab;Lqcs are formulated against a class and retrieve instnnccls of the class sat,isfying a certain predicate on the att,riblltes of the class. The pre...
106
click to vote
CODES
2008
IEEE
15 years 1 months ago
2008
IEEE
Using traditional software profiling to optimize embedded software in an MPSoC design is not reliable. With multiple processors running concurrently and programs interacting, trad...
HUC
2010
Springer
14 years 12 months ago
2010
Springer
An important question in behavioral epidemiology and public health is to understand how individual behavior is affected by illness and stress. Although changes in individual behav...
112
click to vote
BMCBI
2007
14 years 11 months ago
2007
Background: Activated Protein C (ProC) is an anticoagulant plasma serine protease which also plays an important role in controlling inflammation and cell proliferation. Several mu...