Sciweavers

1253 search results - page 109 / 251
» Studying Software Evolution for Taming Software Complexity
Sort
View
COMSWARE
2006
IEEE
14 years 3 months ago
Case study on the use of SDL for specifying an IETF micro mobility protocol
—Recent protocols are become increasingly complex, and lead to further level of complexity when used in combination, often resulting in ambiguous behavior. This paper, starting f...
Telemaco Melia, Amardeo Sarma, Rui L. Aguiar, Diet...
HPCN
2000
Springer
14 years 17 days ago
Modelling Control Systems in an Event-Driven Coordination Language
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
Theophilos A. Limniotes, George A. Papadopoulos
AUIC
2006
IEEE
14 years 3 months ago
Visualising phylogenetic trees
• This paper describes techniques for visualising pairs of similar trees. Our aim is to develop ways of presenting the information so as to highlight both the common structure of...
Wan Nazmee Wan Zainon, Paul R. Calder
IEEECIT
2006
IEEE
14 years 3 months ago
Integrating Configuration Management and Process Management Based on Life Cycle Control
Currently Configuration Management (CM) tool and Process Management (PM) tool are both largely applied in software organizations. However, neither of them can effectively support ...
Xin Peng, Wenyun Zhao, Chongxiang Zhu
HIPEAC
2005
Springer
14 years 2 months ago
Induction Variable Analysis with Delayed Abstractions
ions Sebastian Pop 1 , Albert Cohen 2 , and Georges-Andr´e Silber 1 1 CRI, Mines Paris, Fontainebleau, France 2 ALCHEMY group, INRIA Futurs, Orsay, France Abstract. This paper pre...
Sebastian Pop, Albert Cohen, Georges-André ...