467 search results - page 17 / 94 » Partial Behavioural Models for Requirements and Early Design |
IJCAI
2007
13 years 10 months ago
2007
Classic direct mechanisms require full type (or utility) revelation from participating agents, something that can be very difficult in practical multi-attribute settings. In this...
ICESS
2007
Springer
14 years 2 months ago
2007
Springer
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...
TACAS
1998
Springer
14 years 20 days ago
1998
Springer
The latest ITU-T standard syntax of Message Sequence Charts (MSCs) 16] o ers several operators to compose MSCs in a hierarchical, iterating, and nondeterministic way. However, curr...
AICCSA
2001
IEEE
14 years 4 days ago
2001
IEEE
The importance of early performance assessment grows as software systems increase in terms of size, logical distribution and interaction complexity. Lack of time from the side of ...
ICMI
2009
Springer
13 years 6 months ago
2009
Springer
Affect sensitivity is of the utmost importance for a robot companion to be able to display socially intelligent behaviour, a key requirement for sustaining long-term interactions ...