Sciweavers

4835 search results - page 573 / 967
» Intelligent Selection Tools
Sort
View
ICWE
2009
Springer
15 years 4 months ago
A Component-Based Approach for Engineering Enterprise Mashups
Mashup applications combine pieces of functionality from several existing, heterogeneous sources to provide new integrated functionality. This paper presents the design of an enter...
Javier López, Fernando Bellas, Alberto Pan,...
CLEIEJ
2010
15 years 4 months ago
Empirical Validation of Component-based Software Systems Generation and Evaluation Approaches
Component-based software development needs to formalize a process of generation, evaluation and selection of Composite COTS-based Software Systems (CCSS), enabling software archit...
Victor Sagredo, Carlos Becerra, Gonzalo Valdes
CORR
2011
Springer
197views Education» more  CORR 2011»
14 years 10 months ago
Securing The Kernel via Static Binary Rewriting and Program Shepherding
Recent Microsoft security bulletins show that kernel vulnerabilities are becoming more and more important security threats. Despite the pretty extensive security mitigations many ...
Piotr Bania
EUROSYS
2011
ACM
14 years 10 months ago
Symbolic crosschecking of floating-point and SIMD code
We present an effective technique for crosschecking an IEEE 754 floating-point program and its SIMD-vectorized version, implemented in KLEE-FP, an extension to the KLEE symbolic ...
Peter Collingbourne, Cristian Cadar, Paul H. J. Ke...
ICML
2005
IEEE
16 years 7 months ago
Bayesian sparse sampling for on-line reward optimization
We present an efficient "sparse sampling" technique for approximating Bayes optimal decision making in reinforcement learning, addressing the well known exploration vers...
Tao Wang, Daniel J. Lizotte, Michael H. Bowling, D...