660 search results - page 73 / 132 » Formalizing the Development of Agent-Based Systems Using Gra... |
129
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...
124
Voted
FM
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
134
Voted
KCAP
2003
ACM
15 years 7 months ago
2003
ACM
Our research aims at interactive document viewers that can select and highlight relevant text passages on demand. Another related objective is the generation of topic-specific su...
147
Voted
ADAEUROPE
2007
Springer
15 years 8 months ago
2007
Springer
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
116
Voted
PARELEC
2000
IEEE
15 years 7 months ago
2000
IEEE
The purpose of this paper is to demonstrate the implementation of an adaptable parallel architecture capable of system to task adaptation. The system implementation was based on X...