913 search results - page 59 / 183 » Formal Agent Development: Framework to System |
170
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed applications by enabling them to self-manage, self-heal, self-optimiz...
152
click to vote
IJSWIS
2007
15 years 4 months ago
2007
Ontology alignment foundations are hard to find in the literature. The abstract nature of the topic and the diverse means of practice make it difficult to capture it in a universal...
135
click to vote
ADAEUROPE
2001
Springer
15 years 9 months ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...
135
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— We present a cooperative intrusion detection approach inspired by biological immune system principles and P2P communication techniques to develop a distributed anomaly ...
125
click to vote
SP
2009
IEEE
15 years 11 months ago
2009
IEEE
We present two machine-checked proofs of the existential unforgeability under adaptive chosen-message attacks of the Full Domain Hash signature scheme. These proofs formalize the ...