1988 search results - page 308 / 398 » Engineering formal metatheory |
181
click to vote
KCAP
2005
ACM
15 years 12 months ago
2005
ACM
Our ongoing work aims at defining an ontology-centered approach for building expertise models for the CommonKADS methodology. This approach (which is named "OntoKADS") i...
194
click to vote
SIGSOFT
2003
ACM
15 years 11 months ago
2003
ACM
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is ...
166
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
A key question in the field of agent-oriented software engineering is how the kind and extent of autonomy owned by computational agents can be appropriately captured. As long as ...
209
click to vote
WACC
1999
ACM
15 years 10 months ago
1999
ACM
The effort in software process support has focused so far on modeling and enacting processes. A certain amount of work has been done, but little has reached a satisfactory level o...
196
click to vote
AAAI
1996
15 years 7 months ago
1996
We introduce a predictive concept recognition methodology for description logics based on a new closed terminology assumption. During knowledge engineering, our system adopts the ...