Sciweavers

2404 search results - page 248 / 481
» Postmodernism and Control Engineering
Sort
View
MOBIQUITOUS
2008
IEEE
16 years 29 days ago
Some research questions for computational transportation science
In this paper some research questions which potentially lie within the purview of the new discipline of Computational Transportation Science are presented. Some of these questions...
Glenn Geers
HASE
2007
IEEE
16 years 27 days ago
Parsimonious Classifiers for Software Quality Assessment
—Modeling  to  predict fault­proneness of software modules is an important area  of research in software engineering. Most such models employ a large number ...
Miyoung Shin, Sunida Ratanothayanon, Amrit L. Goel...
CBSE
2007
Springer
16 years 22 days ago
Binary Change Set Composition
Binary component-based software updates that are efficient, safe and generic still remain a challenge. Most existing deployment systems that achieve this goal have to control the c...
Tijs van der Storm
FROCOS
2007
Springer
16 years 22 days ago
Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL
We offer a transition system representing a high-level but detailed architecture for SMT solvers that combine a propositional SAT engine with solvers for multiple disjoint theorie...
Sava Krstic, Amit Goel
ANSS
2006
IEEE
16 years 19 days ago
Performance Modeling and Evaluation of E-Business Systems
A general model of an E-business system comprising an Application Server and a Database engine is analyzed and evaluated. Incoming jobs, once admitted for processing, compete for ...
Giovanna Ferrari, Paul D. Ezhilchelvan, Isi Mitran...