3468 search results - page 372 / 694 » An open logical framework |
175
click to vote
ECSA
2007
Springer
16 years 29 days 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...
159
click to vote
ICCS
2007
Springer
16 years 28 days 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...
146
click to vote
ENC
2005
IEEE
16 years 12 days 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...
165
click to vote
SOFTVIS
2005
ACM
16 years 10 days 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 ...
155
click to vote
ECAI
2004
Springer
16 years 5 days 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...