Sciweavers

131 search results - page 10 / 27
» Types and Concept Analysis for Legacy Systems
Sort
View
HICSS
2003
IEEE
117views Biometrics» more  HICSS 2003»
14 years 19 days ago
Measuring the Degree of Virtualization - An Empirical Analysis in two Austrian Industries
Strategic management literature suggests that especially in young and dynamic industries Virtual Corporations are more likely to emerge, as this type of organization is flexible e...
Roland Bauer, Sabine T. Köszegi, Michaela Wol...
JSW
2008
130views more  JSW 2008»
13 years 7 months ago
A Constraint-Driven Executable Model of Dynamic System Reconfiguration
Dynamic system reconfiguration techniques are presented that can enable the systematic evolution of software systems due to unanticipated changes in specification or requirements. ...
D'Arcy Walsh, Francis Bordeleau, Bran Selic
AAECC
2007
Springer
148views Algorithms» more  AAECC 2007»
13 years 7 months ago
Enhancing dependency pair method using strong computability in simply-typed term rewriting
We enhance the dependency pair method in order to prove termination using recursive structure analysis in simply-typed term rewriting systems, which is one of the computational mod...
Keiichirou Kusakari, Masahiko Sakai
FDL
2006
IEEE
14 years 1 months ago
Reusing Real-Time Systems Design Experience
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...
Oana Florescu, Jeroen Voeten, Marcel Verhoef, Henk...
DEXA
2006
Springer
171views Database» more  DEXA 2006»
13 years 9 months ago
Automating the Choice of Decision Support System Architecture
Abstract. Due to the wide-spread use of decision support systems (DSS), methods are required by software companies. Several concepts and methods have been suggested for decision-ma...
Estella Annoni, Franck Ravat, Olivier Teste, Gille...