Sciweavers

5477 search results - page 602 / 1096
» Contexts, Domains, and Software
Sort
View
APSEC
2000
IEEE
15 years 11 months ago
Survivability Analysis of Networked Systems
Survivability is the ability of a system to continue operating despite the presence of abnormal events such as failures and intrusions. Ensuring system survivability has increased...
Jeannette M. Wing
IUI
2000
ACM
15 years 11 months ago
Creating an empirical basis for adaptation decisions
CT How can an adaptive intelligent interface decide what particular action to perform in a given situation, as a function of perceived properties of the user and the situation? Ide...
Anthony Jameson, Barbara Großmann-Hutter, Le...
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
15 years 11 months ago
Verifying UML/OCL models using Boolean satisfiability
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Mart...
IUI
1999
ACM
15 years 11 months ago
Butterfly: A Conversation-Finding Agent for Internet Relay Chat
The Internet enables groups of people throughout the world to interact to discuss issues, get assistance, learn, and socialize. However, when there are thousands of loosely define...
Neil W. Van Dyke, Henry Lieberman, Pattie Maes
EUROMICRO
1999
IEEE
15 years 11 months ago
Error Recovery using Forced Validity Assisted by Executable Assertions for Error Detection: An Experimental Evaluation
This paper proposes and evaluates error detection and recovery mechanisms suitable for embedded systems. The purpose of these mechanisms is to provide detection of and recovery fr...
Martin Hiller