913 search results - page 122 / 183 » Formal Agent Development: Framework to System |
101
click to vote
ENTCS
2002
14 years 11 months ago
2002
The Ambient Calculus has been recently proposed as a model of mobility of agents in a dynamically changing hierarchy of domains. In this paper, we describe the implementation of t...
122
click to vote
LWA
2004
15 years 1 months ago
2004
In this paper we present a flexible assessment framework for eLearning based on semantic web technologies. The assessment techniques are formalized as reasoning rules. These rules...
124
click to vote
TYPES
1995
Springer
15 years 3 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
111
click to vote
CMSB
2007
Springer
15 years 6 months ago
2007
Springer
We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms. Each per...
HICSS
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper describes how we manage the interaction between different heterogeneous web services through choreographies within IRS-III. IRS-III is a framework and platform for deve...