4290 search results - page 255 / 858 » Formal Approaches to Teamwork |
155
click to vote
SYNASC
2005
IEEE
16 years 10 days ago
2005
IEEE
— A framework that describes the evolution of P systems with bounded parallelism is defined by introducing basic formal features that can be then integrated into a structural op...
178
click to vote
ARGMAS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. This paper presents a novel approach to modelling embedded agent dialogues. It proposes a specific structure for the supporting information accompanying the arguments th...
201
click to vote
ICCS
2005
Springer
16 years 8 days ago
2005
Springer
After noting that informal documents and formal knowledge bases are far from ideal for discussing or retrieving technical knowledge, we propose mechanisms to support the sharing, r...
149
click to vote
IFL
2004
Springer
16 years 4 days ago
2004
Springer
In this paper we explore how application-users can, in an interactive way, test properties about the state of GUI applications that can be classified as local state transition sys...
184
click to vote
IFM
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to understand. Individual requirements ar...