1527 search results - page 135 / 306 » From Requirements to Design: Formalizing the Key Steps |
161
click to vote
CHI
1994
ACM
15 years 10 months ago
1994
ACM
rom abstract objects like user tasks. ost interface development problems can be traced to two sources: the need for usercentered design environments and the lack of software system...
196
click to vote
TASE
2009
IEEE
16 years 1 months ago
2009
IEEE
The complex interactions appearing in service-oriented computing make coordination a key concern in serviceoriented systems. In this paper, we present a fault-based method to gene...
170
click to vote
AUSAI
2005
Springer
16 years 1 days ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...
194
click to vote
ACSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
The Solar Trust Model provides a method by which the sender of a message can be authenticated, and the level of trust that can be placed in the sender of the message or the messag...
166
click to vote
CJ
2006
15 years 6 months ago
2006
Aggregate signatures are a useful primitive which allows to aggregate into a single and constant-length signature many signatures on different messages computed by different users...