Sciweavers

11722 search results - page 351 / 2345
» How Developers Develop Features
Sort
View
ENTCS
2008
106views more  ENTCS 2008»
15 years 6 months ago
Reduction Semantics and Formal Analysis of Orc Programs
Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration appli...
Musab AlTurki, José Meseguer
ESWA
2006
86views more  ESWA 2006»
15 years 6 months ago
Modeling consumer acceptance probabilities
This paper investigates how to estimate the likelihood of a customer accepting a loan offer as a function of the offer parameters and how to choose the optimal set of parameters f...
L. C. Thomas, Ki Mun Jung, Steve D. Thomas, Y. Wu
IJCV
2007
146views more  IJCV 2007»
15 years 6 months ago
Statistical Multi-Object Shape Models
The shape of a population of geometric entities is characterized by both the common geometry of the population and the variability among instances. In the deformable model approach...
Conglin Lu, Stephen M. Pizer, Sarang C. Joshi, Ja-...
JUCS
2007
124views more  JUCS 2007»
15 years 6 months ago
Pipeline-scheduling Simulator for Educational Purpose
: This paper presents a project that provides both, to professors and to students, a tool that is useful for studying, teaching and learning how pipelines work and how they can be ...
José M. Chaves-González, Miguel A. V...
CAV
2011
Springer
216views Hardware» more  CAV 2011»
14 years 10 months ago
Malware Analysis with Tree Automata Inference
Abstract. The underground malware-based economy is flourishing and it is evident that the classical ad-hoc signature detection methods are becoming insufficient. Malware authors ...
Domagoj Babic, Daniel Reynaud, Dawn Song