Sciweavers

5900 search results - page 453 / 1180
» Dependable Systems
Sort
View
ECAI
2006
Springer
15 years 10 months ago
Knowledge Discovery from a Case Base
In case-based reasoning, the adaptation step depends in general on domain-dependent knowledge, which motivates studies on adaptation knowledge acquisition (AKA). CABAMAKA is an AKA...
Mathieu d'Aquin, Fadi Badra, Sandrine Lafrogne, Je...
FM
2006
Springer
142views Formal Methods» more  FM 2006»
15 years 10 months ago
Feature Specification and Static Analysis for Interaction Resolution
While designing a service-oriented system, deciding whether a service interaction is desired or harmful is a subjective choice which depends on the requirements expressed by the us...
Marc Aiguier, Karim Berkani, Pascale Le Gall
EURODAC
1995
IEEE
153views VHDL» more  EURODAC 1995»
15 years 10 months ago
VHDL-based communication and synchronization synthesis
This paper describes an approach for VHDL-based communication and synchronization synthesis. This design step transforms a system level VHDL description into an RT-level descripti...
Wolfgang Ecker, Manfred Huber
BDIM
2008
IEEE
141views Business» more  BDIM 2008»
15 years 8 months ago
IT confidentiality risk assessment for an architecture-based approach
Information systems require awareness of risks and a good understanding of vulnerabilities and their exploitations. In this paper, we propose a novel approach for the systematic as...
Ayse Morali, Emmanuele Zambon, Sandro Etalle, Paul...
EACL
2006
ACL Anthology
15 years 8 months ago
A Comparison of Syntactically Motivated Word Alignment Spaces
This work is concerned with the space of alignments searched by word alignment systems. We focus on situations where word re-ordering is limited by syntax. We present two new alig...
Colin Cherry, Dekang Lin