4290 search results - page 254 / 858 » Formal Approaches to Teamwork |
160
click to vote
ICDIM
2008
IEEE
16 years 1 months ago
2008
IEEE
In this article we analyse how tacit and explicit knowledge are managed in teams. Tacit knowledge is located in human persons and it can not be described formally as data or any o...
153
click to vote
SYNASC
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper provides a design rationale for a mechanism that enforces a correct mapping between a model of a nested agent organization and a model of a composite interaction-based ...
186
click to vote
SFM
2007
Springer
16 years 26 days ago
2007
Springer
Markovian behavioral equivalences are a means to relate and manipulate the formal descriptions of systems with an underlying CTMC semantics. There are three fundamental approaches ...
184
click to vote
DATE
2005
IEEE
16 years 11 days ago
2005
IEEE
This paper describes first results from the AutoMoDe (Automotive Model-Based Development) project. The overall goal of the project is to develop an integrated methodology for mode...
187
click to vote
HICSS
2005
IEEE
16 years 11 days ago
2005
IEEE
— In this paper we present the Secure Dynamic Source Routing protocol for Mobile Ad hoc Networks that prevents a lot of potential attacks to these kind of networks. We also prese...