662 search results - page 120 / 133 » Model Checking Procedures for Infinite State Systems |
INFOCOM
2008
IEEE
15 years 3 months ago
2008
IEEE
Abstract—Complex networks, modeled as large graphs, received much attention during these last years. However, data on such networks is only available through intricate measuremen...
BMCBI
2010
14 years 9 months ago
2010
Background: The system-level dynamics of many molecular interactions, particularly protein-protein interactions, can be conveniently represented using reaction rules, which can be...
CDC
2008
IEEE
15 years 3 months ago
2008
IEEE
Abstract— Attenuation of sinusoidal disturbances with uncertain and arbitrarily time-varying frequencies is considered in the form of a generalized asymptotic regulation problem....
STACS
1999
Springer
15 years 1 months ago
1999
Springer
Model checking is a method for the verification of systems with respect to their specifications. Symbolic model-checking, which enables the verification of large systems, procee...
ISSTA
2009
ACM
15 years 3 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...