Sciweavers

1585 search results - page 12 / 317
» A framework for computer-aided validation
Sort
View
ER
2004
Springer
139views Database» more  ER 2004»
15 years 5 months ago
A Sociological Framework for Multi-agent Systems Validation and Verification
Social and intentional behaviours appear as two main components of the agent paradigm. Methods of conventional software engineering do not seem to be appropriate to gain a full kno...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...
SEC
2000
15 years 1 months ago
A Flexible Management Framework for Certificate Status Validation
Antonio Corradi, Rebecca Montanari, Cesare Stefane...
74
Voted
ISSE
2008
14 years 11 months ago
A framework for computer-aided validation
Doron Drusinsky, James Bret Michael, Man-tak Shing