Sciweavers

5234 search results - page 909 / 1047
» Method Components - Rationale Revealed
Sort
View
85
Voted
EKAW
2008
Springer
15 years 5 months ago
E-Business Vocabularies as a Moving Target: Quantifying the Conceptual Dynamics in Domains
Most practically relevant domains include some degree of conceptual dynamics, i.e. new conceptual elements arise, and some old ones become irrelevant. This type of change imposes a...
Martin Hepp
129
Voted
EMSOFT
2008
Springer
15 years 5 months ago
Disassembling real-time fault-tolerant programs
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...
Borzoo Bonakdarpour, Sandeep S. Kulkarni, Anish Ar...
145
Voted
EPEW
2008
Springer
15 years 5 months ago
Partial Evaluation of PEPA Models for Fluid-Flow Analysis
Abstract. We present an application of partial evaluation to performance models expressed in the PEPA stochastic process algebra [1]. We partially evaluate the state-space of a PEP...
Allan Clark, Adam Duguid, Stephen Gilmore, Mirco T...
130
Voted
ESEM
2008
ACM
15 years 5 months ago
Reducing biases in individual software effort estimations: a combining approach
Software effort estimation techniques abound, each with its own set of advantages and disadvantages, and no one proves to be the single best answer. Combining estimating is an app...
Qi Li, Qing Wang, Ye Yang, Mingshu Li
147
Voted
FASE
2008
Springer
15 years 5 months ago
Verification of Architectural Refactorings by Rule Extraction
With the success of model-driven development as well as component-based and service-oriented systems, models of software architecture are key artefacts in the development process. ...
Dénes Bisztray, Reiko Heckel, Hartmut Ehrig