1257 search results - page 231 / 252 » Open Source Requirements Engineering |
ELPUB
2007
ACM
15 years 3 months ago
2007
ACM
A few years ago a portal for bachelor and master theses from Flemish university colleges was established by means of the open source repository software DoKS. At present approxima...
131
click to vote
GROUP
2007
ACM
15 years 3 months ago
2007
ACM
Networked games can provide groupware developers with important lessons in how to deal with real-world networking issues such as latency, limited bandwidth and packet loss. Games ...
FC
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Starting from algebraic properties that enable guessing lowentropy secrets, we formalize guessing rules for symbolic verification. The rules are suited for both off-line ...
109
click to vote
BPSC
2007
15 years 1 months ago
2007
Originally XML was used as a standard protocol for data exchange in computing. The evolution of information technology has opened up new situations in which XML can be used to aut...
114
click to vote
CLIMA
2004
15 years 1 months ago
2004
The aim of this work is the design of a framework for the revision of knowledge in abductive reasoning agents, based on interaction. We address issues such as: how to exploit knowl...