Sciweavers

502 search results - page 60 / 101
» Association aspects
Sort
View
ICCBR
1999
Springer
14 years 1 months ago
Shaping a CBR View with XML
Case Based Reasoning has found increasing application on the Internet as an assistant in Internet commerce stores and as a reasoning agent for online technical support. The strengt...
Conor Hayes, Padraig Cunningham
ICECCS
1998
IEEE
161views Hardware» more  ICECCS 1998»
14 years 1 months ago
A Method and a Technique to Model and Ensure Timeliness in Safety Critical Real-Time Systems
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...
Christophe Aussaguès, Vincent David
HICSS
1997
IEEE
104views Biometrics» more  HICSS 1997»
14 years 1 months ago
A Simulation Tool for Analysis of Alternative Paradigms for the New Electricity Business
Variousproposals have been madefor new paradigms for operating the restructuring electrical system. One of the key challenges associated with this restructuring is to effectively ...
Thomas J. Overbye, Peter W. Sauer, George Gross, M...
KGC
1993
Springer
14 years 1 months ago
Nonmonotonic Reasoning is Sometimes Simpler
We establish the complexity of decision problems associated with the nonmonotonic modal logic S4. We prove that the problem of existence of an S4-expansion for a given set A of pr...
Grigori Schwarz, Miroslaw Truszczynski
AOSD
2007
ACM
14 years 29 days ago
C-CLR: a tool for navigating highly configurable system software
In order to accommodate the spectrum of configuration options currently required for competitive system infrastructures, many systems leverage heavy usage of C preprocessor contro...
Nieraj Singh, Celina Gibbs, Yvonne Coady