1888 search results - page 74 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
123
click to vote
WORDS
2005
IEEE
15 years 8 months ago
2005
IEEE
Self-healing systems focus on how to reducing the complexity and cost of the management of dependability policies and mechanisms without human intervention. This position paper pr...
135
click to vote
ICCS
2001
Springer
15 years 7 months ago
2001
Springer
Automatically generating Conceptual Graphs (CGs) [1] from natural language sentences is a difficult task in using CG as a semantic (knowledge) representation language for natural l...
128
click to vote
RE
1997
Springer
15 years 7 months ago
1997
Springer
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...
240
click to vote
LOGCOM
1998
15 years 2 months ago
1998
Perhaps the most successful agent architectures, and certainly the best known, are those based on the Belief-Desire-Intention (BDI) framework. Despite the wealth of research that ...
157
click to vote
AMAI
2004
Springer
15 years 3 months ago
2004
Springer
Prototyping is a valuable technique to help software engineers explore the design space while gaining insight on the dynamics of the system. In this paper, we describe a method for...