1541 search results - page 144 / 309 » Tools and Techniques for Model Checking Networked Programs |
160
click to vote
SIGMOD
1996
ACM
15 years 8 months ago
1996
ACM
While much recent research has focussed on extending databases beyond the traditional relational model, relatively little has been done to develop database tools for querying data...
145
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: The analysis of biochemical networks using a logical (Boolean) description is an important approach in Systems Biology. Recently, new methods have been proposed to ana...
142
click to vote
BIOINFORMATICS
2006
15 years 4 months ago
2006
Motivation: Most previous approaches to model biochemical networks havefocusedeither on the characterization of a networkstructurewith a number of components or on the estimation ...
142
click to vote
ISSTA
2004
ACM
15 years 10 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
171
click to vote
TOOLS
1999
IEEE
15 years 8 months ago
1999
IEEE
The paper describes the design and the Java implementation of a coordination architecture for mobile agents, based on an object-oriented Linda-like tuple space model, compliant wi...