1527 search results - page 70 / 306 » From Requirements to Design: Formalizing the Key Steps |
190
click to vote
IANDC
2007
15 years 6 months ago
2007
Cryptographic protocols can be divided into (1) protocols where the protocol steps are simple from a computational point of view and can thus be modeled by simple means, for insta...
146
click to vote
ACSD
2001
IEEE
15 years 9 months ago
2001
IEEE
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...
190
click to vote
ATAL
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. In distributed resource allocation a set of agents must assign their resources to a set of tasks. This problem arises in many real-world domains such as distributed senso...
149
click to vote
DCC
2007
IEEE
16 years 5 months ago
2007
IEEE
The aim of this paper is to present a construction of t-divisible designs for t > 3, because such divisible designs seem to be missing in the literature. To this end, tools suc...
164
click to vote
AIIA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Adaptation is one of the most problematic steps in the design and development of Case Based Reasoning (CBR) systems, as it may require considerable domain knowledge and i...