2832 search results - page 416 / 567 » Flexible Modelling for Requirements Engineering |
134
click to vote
WOSP
2004
ACM
15 years 11 months ago
2004
ACM
While the use of network intrusion detection systems (nIDS) is becoming pervasive, evaluating nIDS performance has been found to be challenging. The goal of this study is to deter...
198
click to vote
IUI
2003
ACM
15 years 11 months ago
2003
ACM
Authoring dynamic web pages is an inherently difficult task. We present DESK, an interactive authoring tool that allows the customization of dynamic page generation procedures wit...
143
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
167
click to vote
AVI
2006
15 years 7 months ago
2006
Companies trading stocks need to store information on stock prices over specific time intervals, which results in very large databases. Large quantities of numerical data (thousan...
185
click to vote
CSREASAM
2009
15 years 7 months ago
2009
In Web services, a framework for the separation of authentication (IdP) and services (SP) has been proposed and actually deployed. In this framework, quality of information provide...