4290 search results - page 480 / 858 » Formal Approaches to Teamwork |
188
Voted
WSE
2006
IEEE
16 years 26 days ago
2006
IEEE
A challenge of existing program comprehension approaches is to provide consistent and flexible representations for software systems. Maintainers have to match their mental models ...
164
click to vote
EUROGP
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. A protein is a linear chain of amino acids that folds into a unique functional structure, called its native state. In this state, proteins show repeated substructures lik...
171
Voted
ACOM
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. Although several approaches to the semantics of agent communication have been proposed, none of them is really suitable for dealing with agent autonomy, which is a decisi...
156
click to vote
HICSS
2003
IEEE
16 years 4 days ago
2003
IEEE
We adopt the decision-theoretic principle of expected utility maximization as a paradigm for designing autonomous rational agents operating in multi-agent environments. We use the...
191
click to vote
KBSE
2003
IEEE
16 years 4 days ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...