913 search results - page 25 / 183 » Toward Formalizing Structured Analysis |
WWW
2001
ACM
14 years 8 months ago
2001
ACM
Recently, there have been a number of algorithms proposed for analyzing hypertext link structure so as to determine the best "authorities" for a given topic or query. Wh...
APCCM
2008
13 years 9 months ago
2008
On a high level of abstraction a Web Information System (WIS) can be described by a storyboard, which stract way specifies who will be using the system, in which way and for which...
SAS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Programming language technology can contribute to the development and understanding of Systems Biology by providing formal calculi for specifying and analysing the dynami...
CCS
2005
ACM
14 years 1 months ago
2005
ACM
d abstract) Prateek Gupta and Vitaly Shmatikov The University of Texas at Austin We present a cryptographically sound formal method for proving correctness of key exchange protoco...
IDA
2006
Springer
13 years 7 months ago
2006
Springer
This paper presents new textural features which are based on association rules. We give a texture representation, which is an appropriate formalism, that allows straightforward app...