1463 search results - page 206 / 293 » Model Checking Implicit-Invocation Systems |
114
click to vote
CIMCA
2006
IEEE
15 years 7 months ago
2006
IEEE
: In the adaptive fuzzy control field for affine nonlinear systems, there are two basic configurations: direct and indirect. It is well known that the direct configuration needs mo...
125
click to vote
CC
2003
Springer
15 years 6 months ago
2003
Springer
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
125
click to vote
WISES
2003
15 years 2 months ago
2003
Abstract — Since sensor/actuator networks are to be used in error-prone environments, it is required that media access protocols for such networks are tolerant to failures. Field...
108
click to vote
CAV
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We present a brief overview of the tool Ticc (Tool for Interface Compatibility and Composition). In Ticc, a component interface describes both the behavior of a component...
145
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Mathematical modeling is being applied to increasingly complex biological systems and datasets; however, the process of analyzing and calibrating against experimental ...