Sciweavers

3763 search results - page 720 / 753
» Component-Based Software Engineering Processes
Sort
View
CCR
2011
13 years 1 months ago
Dynamically scaling applications in the cloud
Scalability is said to be one of the major advantages brought by the cloud paradigm and, more specifically, the one that makes it different to an “advanced outsourcing” solu...
Luis M. Vaquero, Luis Rodero-Merino, Rajkumar Buyy...
CHB
2011
183views more  CHB 2011»
13 years 1 months ago
Towards an ICT-based psychology: E-psychology
Cognitive science is the scientific domain which studies, analyses, simulates and infers for various aspects, functions and procedures of human mentality such as, thinking, logic, ...
Athanasios Drigas, Lefteris Koukianakis, Yannis Pa...
ESWA
2011
243views Database» more  ESWA 2011»
13 years 1 months ago
A novel case based reasoning approach to radiotherapy planning
Radiotherapy planning is a complex problem which requires both expertise and experience of an oncologist. A Case Based Reasoning (CBR) system is developed to generate dose plans f...
Sanja Petrovic, Nishikant Mishra, Santhanam Sundar
SIGMOD
2011
ACM
222views Database» more  SIGMOD 2011»
13 years 13 days ago
Data generation using declarative constraints
We study the problem of generating synthetic databases having declaratively specified characteristics. This problem is motivated by database system and application testing, data ...
Arvind Arasu, Raghav Kaushik, Jian Li
ICSE
2007
IEEE-ACM
14 years 3 months ago
ACL2s: "The ACL2 Sedan"
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
Peter C. Dillinger, Panagiotis Manolios, Daron Vro...