102 search results - page 3 / 21 » A formal analysis of the AIF in terms of the ASPIC framework |
ESWS
2004
Springer
14 years 26 days ago
2004
Springer
Semantic interoperability has become a key issue for realizing the Semantic Web in its full potential. However, there is a lot of controversy regarding the meaning and scope of the...
TCS
2010
13 years 2 months ago
2010
Markovian process algebras, such as PEPA and stochastic -calculus, bring a powerful compositional approach to the performance modelling of complex systems. However, the models gen...
IFIPTCS
2010
13 years 5 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
GIS
2010
ACM
13 years 6 months ago
2010
ACM
In this paper we address the problem of segmenting a trajectory such that each segment is in some sense homogeneous. We formally define different spatio-temporal criteria under ...
ICMAS
1998
13 years 8 months ago
1998
We have been developing an approach for the distributed coordination of heterogeneous, autonomous agents. This approach takes as input (a) agent skeletons, giving compact descript...