3885 search results - page 83 / 777 » Clarifying Goal Models |
128
click to vote
IFIP11
2004
15 years 5 months ago
2004
This paper proposes a formal model of the Bellare-Rogaway type [1] that enables one to prove the security of an anonymous credential system in a complexity theoretic framework. Th...
149
Voted
SARA
2009
Springer
15 years 10 months ago
2009
Springer
Classical planning deals with finding a (shortest) sequence of actions transferring the world from its initial state to a state satisfying the goal condition. Traditional planning...
137
Voted
SOSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract Web services choreography describes the global model of service interactions among a set of participants. In order to achieve a common business goal, the protocols of inte...
134
click to vote
EPIA
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. A theoretical model for agents interaction to study semantic heterogeneity is proposed. The context of this study is informational agents with knowledge bases that are he...
116
Voted
ACL
1998
15 years 5 months ago
1998
The view that communication is a form of action serving a variety of specific functions has had a tremendous impact on the philosophy of language and on computational linguistics....