726 search results - page 136 / 146 » Formal Requirements Engineering: Learning from the Students |
140
click to vote
SAC
2008
ACM
14 years 11 months ago
2008
ACM
There has been a recent effort in the literature to reconsider grammar-dependent software development from an engineering point of view. As part of that effort, we examine a defic...
EJC
2010
14 years 6 months ago
2010
We all use our associative memory constantly. Words and concepts form paths that we can follow to find new related concepts; for example, when we think about a car we may associate...
125
click to vote
SP
1991
IEEE
15 years 3 months ago
1991
IEEE
SRI International’s real-time intrusion-detection expert system (IDES) system contains a statistical subsystem that observes behavior on a moniioreci cornpuier system and adapti...
107
click to vote
CCECE
2009
IEEE
15 years 6 months ago
2009
IEEE
A complex system is expected to show different nominal behaviors under different conditions, and the deviation over time from these nominal behaviors is an indicator of potential ...
113
click to vote
SIAMCOMP
2011
14 years 6 months ago
2011
In this paper, we study the question of whether or not it is possible to construct protocols for general secure computation in the setting of malicious adversaries and no honest m...