14331 search results - page 378 / 2867 » On the modeling and analysis of obligations |
163
click to vote
IFIP
2004
Springer
16 years 6 days ago
2004
Springer
Abstract The computational proof model of Bellare and Rogaway for cryptographic protocol analysis is complemented by providing a formal specification of the actions of the adversa...
149
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Proliferation of mobile devices has posed challenges in the development of interaction models among devices. These models should allow the devices involved in an interaction to de...
210
click to vote
FASE
2005
Springer
16 years 10 days ago
2005
Springer
Model Transformation has become central to most software engineering activities. It refers to the process of modifying a (usually graphical) model for the purpose of analysis (by i...
172
click to vote
ASIAMS
2008
IEEE
15 years 8 months ago
2008
IEEE
Multicriteria analysis can be incorporated as a method to model preferences and facilitate decision making within a group of decision makers. In this paper we present a Group Deci...
214
click to vote
SIGMOD
2007
ACM
16 years 7 months ago
2007
ACM
Context-aware systems are pervading everyday life, therefore context modeling is becoming a relevant issue and an expanding research field. This survey has the goal to provide a c...