Sciweavers

2702 search results - page 164 / 541
» Requirements Processes: An Experience Report
Sort
View
ACSAC
2000
IEEE
15 years 11 months ago
Protection Profiles for Remailer Mixes -Do the New Evaluation Criteria Help?
Early IT security evaluation criteria like the TCSEC and the ITSEC suffered much criticism for their lack of coverage of privacy-related requirements. Recent evaluation criteria, ...
Kai Rannenberg, Giovanni Iachello
KBSE
1999
IEEE
15 years 10 months ago
Towards Adaptive Web Agents
There is an increasingly large demand for software systems which are able to operate effectively in dynamic environments. In such environments, automated software engineering is e...
J. William Murdock, Ashok K. Goel
SPIN
1999
Springer
15 years 10 months ago
Assume-Guarantee Model Checking of Software: A Comparative Case Study
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
Corina S. Pasareanu, Matthew B. Dwyer, Michael Hut...
KES
2000
Springer
15 years 10 months ago
On AIE-ASM: a software to simulate artificial stock markets with genetic programming
Agent-based computational economic modeling requires demanding work on computer programming. Usually, the publications as outcomes of running these programs do not provide readers ...
Shu-Heng Chen, Chung-Chih Liao, Chia-Hsuan Yeh
LREC
2008
100views Education» more  LREC 2008»
15 years 8 months ago
Knowledge Sources for Bridging Resolution in Multi-Party Dialog
In this paper we investigate the coverage of the two knowledge sources WordNet and Wikipedia for the task of bridging resolution. We report on an annotation experiment which yield...
Mark-Christoph Mueller, Margot Mieskes, Michael St...