3943 search results - page 218 / 789 » Architecture-Level Requirements Specification |
149
click to vote
ENTCS
2006
15 years 6 months ago
2006
This paper discusses numerical experiments of wave front propagation on a flat disk and related results. In particular, notions of extremal rays and wave front caustics are introd...
167
click to vote
FUIN
2006
15 years 6 months ago
2006
Abstract. We analyse different versions of the Dining Cryptographers protocol by means of automatic verification via model checking. Specifically we model the protocol in terms of ...
180
click to vote
KI
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents a mapping solution from ERDF(S) to Take vocabulary. The work is related to an investigation of integrating ERDF Derivation Rules into Take inference engine. Som...
178
click to vote
TELE
2008
15 years 6 months ago
2008
The digital divide is a phenomenon linked not only to the topic of access to the Internet, but also to the one of usage and usage benefit. In this paper we take a look at the glob...
197
click to vote
CLEIEJ
2002
15 years 6 months ago
2002
An analysis pattern is any part of a requirement analysis specification that can be reused in the design of other information systems as well. Urban management systems (e.g.: Tax ...