244 search results - page 38 / 49 » Towards Coalgebraic Behaviourism |
ENTCS
2007
13 years 7 months ago
2007
This paper proposes a calculus for describing communication-centred programs and discusses its use through a formal description of several use cases from real business protocols. ...
ICRA
2010
IEEE
13 years 4 months ago
2010
IEEE
This paper presents an EKF-based approach to the problem of robot formation pose tracking in SLAM when a previously built feature-based stochastic map of a navigation area is avail...
ASWEC
2007
IEEE
14 years 1 months ago
2007
IEEE
—Service-Oriented Computing (SOC) is an emerging paradigm for developing software systems that employ services. Presently there is already much research effort in the areas of se...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
We present an organisation infrastructure for open MultiAgent Systems built upon a role-based access control model (RBAC), which provides agents with means to enable and control a...
ICTAC
2005
Springer
14 years 1 months ago
2005
Springer
Case studies can significantly contribute towards improving the understanding of formalisms and thereby to their applicability in practice. One such case, namely a cascade of the ...