3468 search results - page 372 / 694 » An open logical framework |
141
click to vote
ECSA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The conceptual modelling of software architectures is of central importance for the quality of a software system. A rich modelling language is required to integrate the d...
130
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
The GENIE project has built a Grid enabled framework that facilitates the integration, execution and management of component models for the study of the Earth system over millennia...
110
click to vote
ENC
2005
IEEE
15 years 10 months ago
2005
IEEE
Following the argumentation framework and semantics proposed by Dung, we are interested in the problem of deciding which set of acceptable arguments support the decision making in...
128
click to vote
SOFTVIS
2005
ACM
15 years 10 months ago
2005
ACM
This paper presents a system for visualizing mobile object frameworks. In such frameworks, the objects can migrate to remote hosts, along with their state and behavior, while the ...
121
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper presents a framework that integrates three aspects of agency: planning, for proactive behaviour, negotiation, for social behaviour and resource achievement, an...