4418 search results - page 145 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
129
click to vote
ECIS
2003
15 years 5 months ago
2003
Relationship analysis aims at supporting the eliciting and documenting of potential relationship structures of an application domain by providing analysts with a systematic techni...
140
click to vote
CAV
2001
Springer
15 years 9 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. When verification succeeds and the system is proven to be correct, there is still a q...
125
click to vote
COLING
2002
15 years 4 months ago
2002
We present a principled approach to the problem of connecting a controlled document authoring system with a knowledge base. We start by describingclosed-world authoring situations...
134
click to vote
ICUMT
2009
15 years 2 months ago
2009
Abstract--A new approach to the design of wireless data broadcasting systems is introduced. The proposed approach is based on the mathematical analysis of the aforementioned system...
146
click to vote
VISSYM
2007
15 years 7 months ago
2007
We present TrustNeighborhoods, a security trust visualization for situational awareness on the Internet aimed at novice and intermediate users of a distributed file sharing system...