Sciweavers

7475 search results - page 1332 / 1495
» Supporting use case based requirements engineering
Sort
View
AISC
1998
Springer
15 years 10 months ago
Reasoning About Coding Theory: The Benefits We Get from Computer Algebra
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
Clemens Ballarin, Lawrence C. Paulson
ASSETS
2005
ACM
15 years 8 months ago
Gist summaries for visually impaired surfers
Anecdotal evidence suggests that Web document summaries provide the sighted reader with a basis for making decisions regarding the route to take within non-linear text; and additi...
Simon Harper, Neha Patel
WISEC
2010
ACM
15 years 11 months ago
Secret keys from entangled sensor motes: implementation and analysis
Key management in wireless sensor networks does not only face typical, but also several new challenges. The scale, resource limitations, and new threats such as node capture and c...
Matthias Wilhelm, Ivan Martinovic, Jens B. Schmitt
ACSC
2005
IEEE
16 years 3 days ago
A Formal Approach to Component Adaptation and Composition
Component based software engineering (CBSE), can in principle lead to savings in the time and cost of software development, by encouraging software reuse. However the reality is t...
David Hemer
SP
1991
IEEE
121views Security Privacy» more  SP 1991»
15 years 10 months ago
The SRI IDES Statistical Anomaly Detector
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...
H. S. Javitz, A. Valdes
« Prev « First page 1332 / 1495 Last » Next »