2004 search results - page 249 / 401 » Comparison of Model Checking Tools for Information Systems |
152
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...
158
click to vote
COOPIS
2002
IEEE
15 years 9 months ago
2002
IEEE
Distributed applications that can adapt at runtime to changing quality of service (QoS) require a model of the expected QoS and of the possible application adaptations. QoS models ...
131
click to vote
BIBM
2007
IEEE
15 years 11 months ago
2007
IEEE
Thousands of biochemical interactions are available for download from curated databases such as Reactome, Pathway Interaction Database and other sources in the Biological Pathways...
157
click to vote
ENVSOFT
2010
15 years 4 months ago
2010
The SHETRAN physically-based distributed rainfall-runoff modelling system gives detailed simulations in time and space of water flow and sediment and solute transport in river cat...
159
click to vote
BIODATAMINING
2008
15 years 4 months ago
2008
Background: In computer science, database systems are based on the relational model founded by Edgar Codd in 1970. On the other hand, in the area of biology the word 'databas...