2282 search results - page 26 / 457 » Active property checking |
112
click to vote
JSS
2010
15 years 1 months ago
2010
The backbone of many software architectures and component integration frameworks is an architectural style that provides a domain-specific design vocabulary and a set of constrai...
126
click to vote
CMSB
2010
Springer
14 years 10 months ago
2010
Springer
To incorporate instant effects and different timescales within a single biological system, an extension of discrete regulatory networks with short-term stimuli is proposed. By mai...
121
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: Identifying the active site of an enzyme is a crucial step in functional studies. While protein sequences and structures can be experimentally characterized, determini...
WWW
2001
ACM
16 years 3 months ago
2001
ACM
We show how model checking techniques can be applied to the analysis of connectivity and cost-of-traversal properties of Web sites.
127
click to vote
FASE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...