Sciweavers

6474 search results - page 955 / 1295
» Towards a Systemic Approach to Autonomic Systems Engineering
Sort
View
ERCIMDL
1999
Springer
154views Education» more  ERCIMDL 1999»
15 years 12 months ago
Effectiveness of Keyword-Based Display and Selection of Retrieval Results for Interactive Searches
Abstract. We present an approach to increasing the effectiveness of rankedoutput retrieval systems that relies on graphical display and user manipulation of “views” of retrieva...
Ezio Berenci, Claudio Carpineto, Vittorio Giannini...
162
Voted
CASES
2007
ACM
15 years 11 months ago
Non-transparent debugging for software-pipelined loops
This paper tackles the problem of providing correct information about program variable values in a software-pipelined loop through a non-transparent debugging approach. Since mode...
Hugo Venturini, Frédéric Riss, Jean-...
ENDM
2000
174views more  ENDM 2000»
15 years 7 months ago
Hybrid Constraints in Automated Model Synthesis and Model Processing
Both parametric design tasks and analysis tasks of technical systems have a similar problem setting: The structure of the system to be configured or analyzed is defined already. W...
Klaus-Ulrich Leweling, Benno Stein
ISOLA
2010
Springer
15 years 6 months ago
LivingKnowledge: Kernel Methods for Relational Learning and Semantic Modeling
Latest results of statistical learning theory have provided techniques such us pattern analysis and relational learning, which help in modeling system behavior, e.g. the semantics ...
Alessandro Moschitti
ACSAC
2010
IEEE
15 years 5 months ago
G-Free: defeating return-oriented programming through gadget-less binaries
Despite the numerous prevention and protection mechanisms that have been introduced into modern operating systems, the exploitation of memory corruption vulnerabilities still repr...
Kaan Onarlioglu, Leyla Bilge, Andrea Lanzi, Davide...