244 search results - page 12 / 49 » Towards Coalgebraic Behaviourism |
CEEMAS
1999
Springer
13 years 12 months ago
1999
Springer
This paper advocates the application of multi-agent techniques in the realisation of social robotic behaviour. We present the Social Robot Architecture, which integrates the key e...
ER
1999
Springer
13 years 12 months ago
1999
Springer
Abstract. The integration of statecharts is part of an integration methodology for object oriented views. Statecharts are the most important language for the representation of the ...
FSKD
2006
Springer
13 years 11 months ago
2006
Springer
Information security evaluation of software-intensive systems typically relies heavily on the experience of the security professionals. Obviously, automated approaches are needed ...
ICSE
2009
IEEE-ACM
14 years 2 months ago
2009
IEEE-ACM
Determining whether a set of features can be composed, or safe composition, is a hard problem in software product line engineering because the number of feature combinations can b...
SOCO
2007
Springer
14 years 1 months ago
2007
Springer
In the context of Service Oriented Computing, contracts are descriptions of the externally observable behaviour of services. Given a group of collaborating services, their contract...