1636 search results - page 218 / 328 » Type-Theoretic Functional Semantics |
131
click to vote
AIMSA
2008
Springer
16 years 15 days ago
2008
Springer
This paper presents the Agent MOdeling LAnguage (AMOLA). This language provides the syntax and semantics for creating models of multi-agent systems covering the analysis and design...
179
Voted
ASWEC
2007
IEEE
16 years 15 days ago
2007
IEEE
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
134
click to vote
ICECCS
2007
IEEE
16 years 14 days ago
2007
IEEE
Abstract—Plugin-based application design has become increasingly popular in recent years, and has contributed to the success of a range of very different applications including ...
148
Voted
ECOOP
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. Aspect-oriented programming languages usually are extensions of object-oriented ones, and their compilation target is usually the (virtual) machine model of the language ...
169
click to vote
ECTEL
2007
Springer
16 years 9 days ago
2007
Springer
We report on an ongoing project which aims at improving the eectiveness of retrieval and accessibility of learning object within learning management systems and learning object re...