809 search results - page 64 / 162 » Requirements by Contracts allow Automated System Testing |
118
click to vote
IJCAI
2003
15 years 6 months ago
2003
Multi-agent systems result from interactions between individual agents. Through these interactions different kinds of relationships are formed, which can impact substantially on t...
157
click to vote
DAC
1997
ACM
15 years 9 months ago
1997
ACM
The design process for xed-point implementations either in software or in hardware requires a bit-true speci cation of the algorithm in order to analyze quantization e ects on an...
147
click to vote
COMPSYSTECH
2010
15 years 1 months ago
2010
: In this paper an approach for development of univariate time series prediction library in Java and its integration with an existing CLIPS related system is presented .A backpropa...
132
click to vote
AINA
2007
IEEE
15 years 11 months ago
2007
IEEE
The proliferation of complex and fast-spreading intrusions not only requires advances in intrusion detection mechanisms but also demands development of sophisticated and automated...
128
click to vote
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
The theory of reactive systems, introduced by Leifer and Milner and previously extended by the authors, allows the derivation of well-behaved labelled transition systems (LTS) for...