4382 search results - page 653 / 877 » Query by Semantic Example |
137
click to vote
KBSE
2003
IEEE
15 years 8 months ago
2003
IEEE
We present an approach to managing formal models using Model Driven Architecture (MDA) technologies that delivers analysis techniques through integration with the design tools and...
117
click to vote
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
People can interact much more readily with a multi-agent system if they can understand it in cognitive terms. Modern work on “BDI agents” emphasizes explicit representation of ...
119
click to vote
ERCIMDL
2003
Springer
15 years 8 months ago
2003
Springer
SozioNet 1 forms part of a forthcoming national social science information portal, which is currently being developed by the German Infoconnex2 initiative. Inspired by successful e...
123
click to vote
DEXAW
2002
IEEE
15 years 8 months ago
2002
IEEE
The latest ontology languages can be translated into a description logic (DL), thus providing them with a formal semantics and associated reasoning procedures. We introduce the or...
136
Voted
ECOOP
2010
Springer
15 years 8 months ago
2010
Springer
Recently, object-oriented languages, such as C , have been extended with language features prevalent in most functional languages: parametric polymorphism and higher-order function...