4460 search results - page 504 / 892 » Formal methods for interactive systems |
207
click to vote
CMSB
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. This paper tackles theoretically the question of the structural stability of biological regulation networks subjected to the influence of their environment. The model of...
218
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
167
click to vote
CIMCA
2008
IEEE
16 years 1 months ago
2008
IEEE
Heart disease continues to be leading cause of morbidity and mortality among adults all over the world. Cardiac risk factor assessment requires a classification system that is rob...
170
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a method to test a group of agents for (unwanted) emergent behavior by using techniques from learning of cooperative behavior. The general idea is to mimick us...
169
click to vote
TEAA
2005
Springer
16 years 6 days ago
2005
Springer
Enterprise systems are mission critical. As a result, ensuring their correctness is of primary concern. This paper aids to the analysis of Web Applications, focusing on the aspects...