Sciweavers

1128 search results - page 106 / 226
» Little Engines of Proof
Sort
View
93
Voted
SEW
2003
IEEE
15 years 6 months ago
Addressing Software Security and Mitigations in the Life Cycle
Traditionally, security is viewed as an organizational and Information Technology (IT) systems function comprising of firewalls, intrusion detection systems (IDS), system security...
David P. Gilliam, John D. Powell, Eric Haugh, Matt...
91
Voted
ICTAI
2000
IEEE
15 years 5 months ago
Self-optimising CBR retrieval
One reason why Case-Based Reasoning (CBR) has become popular is because it reduces development cost compared to rule-based expert systems. Still, the knowledge engineering effort ...
Jacek Jarmulak, Susan Craw, Ray Rowe
98
Voted
WISE
2000
Springer
15 years 5 months ago
WebSail: From On-Line Learning to Web Search
In this paper we report our research on building WebSail { an intelligent web search engine that is able to perform real-time adaptive learning. WebSail learns from the user'...
Zhixiang Chen, Xiannong Meng, Binhai Zhu, Richard ...
ESEC
1997
Springer
15 years 4 months ago
Executable Connectors: Towards Reusable Design Elements
The decomposition of a software application into components and connectors at the design stage has been promoted as a way to describe and reason about complex software architecture...
Stéphane Ducasse, Tamar Richner
102
Voted
ESEC
1997
Springer
15 years 4 months ago
A Framework for Classifying and Comparing Architecture Description Languages
Software architectures shift developers’ focus from lines-of-code to coarser-grained architectural elements and their interconnection structure. Architecture description language...
Nenad Medvidovic, Richard N. Taylor