1527 search results - page 140 / 306 » From Requirements to Design: Formalizing the Key Steps |
203
click to vote
FSE
1997
Springer
15 years 10 months ago
1997
Springer
Matsui's linear cryptanalysis for iterated block ciphers is generalized to an attack called. This attack exploits a weakness that can be described by an e ective partition-pa...
175
click to vote
FORTE
2007
15 years 8 months ago
2007
Web service choreography describes protocols for multiparty collaboration, whereas orchestration focuses on single peers. One key requirement of choreography is to support transact...
166
click to vote
CAISE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Service-oriented applications facilitate the exchange of business services among participants. Existing modeling approaches either apply at a lower of abstraction than re...
163
click to vote
AAMAS
2004
Springer
15 years 6 months ago
2004
Springer
Our goal in this paper is to introduce and motivate a methodology, called Tropos,1 for building agent oriented software systems. Tropos is based on two key ideas. First, the notion...
163
click to vote
MHCI
2009
Springer
15 years 11 months ago
2009
Springer
This paper outlines the design requirements of a GPS car navigation system for the elderly and the young by proposing a set of new guidelines for designing such systems. Our study...