Sciweavers

3091 search results - page 280 / 619
» The Microsoft Relational Engine
Sort
View
ISSTA
2006
ACM
16 years 19 days ago
Analyzing architectural styles with alloy
The backbone of many architectures is an architectural style that provides a domain-specific design vocabulary and set of constraints on how that vocabulary can be used. Hence, d...
Jung Soo Kim, David Garlan
CCGRID
2005
IEEE
16 years 9 days ago
A batch scheduler with high level components
In this article we present the design choices and the evaluation of a batch scheduler for large clusters, named OAR. This batch scheduler is based upon an original design that emp...
Nicolas Capit, Georges Da Costa, Yiannis Georgiou,...
ICSM
2005
IEEE
16 years 8 days ago
A Controlled Experiment Assessing Test Case Prioritization Techniques via Mutation Faults
Regression testing is an important part of software maintenance, but it can also be very expensive. To reduce this expense, software testers may prioritize their test cases so tha...
Hyunsook Do, Gregg Rothermel
ISPW
2005
IEEE
16 years 8 days ago
Evolving Defect "Folklore": A Cross-Study Analysis of Software Defect Behavior
Abstract. Answering “macro-process” research issues – which require understanding how development processes fit or do not fit in different organizational systems and environm...
Victor R. Basili, Forrest Shull
KBSE
2005
IEEE
16 years 8 days ago
Properties and scopes in web model checking
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
May Haydar, Sergiy Boroday, Alexandre Petrenko, Ho...