Sciweavers

3898 search results - page 252 / 780
» Maintaining Component-Based Systems
Sort
View
IFM
2009
Springer
158views Formal Methods» more  IFM 2009»
15 years 11 months ago
Developing Topology Discovery in Event-B
Abstract. We present a formal development in Event-B of a distributed topology discovery algorithm. Distributed topology discovery is at the core of several routing algorithms and ...
Thai Son Hoang, Hironobu Kuruma, David A. Basin, J...
ICASSP
2008
IEEE
15 years 11 months ago
Accurate statistical spoken language understanding from limited development resources
Robust Spoken Language Understanding (SLU) is a key component of spoken dialogue systems. Recent statistical approaches to this problem require additional resources (e.g. gazettee...
I. V. Meza-Ruiz, Sebastian Riedel, Oliver Lemon
KBSE
2008
IEEE
15 years 11 months ago
Using dependency model to support software architecture evolution
Evolution of software systems is characterized by inevitable changes of software and increasing software complexity, which in turn may lead to huge maintenance and development cos...
Hongyu Pei Breivold, Ivica Crnkovic, Rikard Land, ...
COMPSAC
2007
IEEE
15 years 10 months ago
Using Aspect Orientation in Understanding Legacy COBOL Code
Understanding and maintaining legacy COBOL systems are still a challenging task for both academic research and industry practice. With the development of aspect-oriented software ...
Jianjun Pu, Zhuopeng Zhang, Jian Kang, Yang Xu, Ho...
ECOOP
2007
Springer
15 years 10 months ago
Generic Universe Types
Ownership is a powerful concept to structure the object store and to control aliasing and modifications of objects. This paper presents an ownership type system for a Javalike pr...
Werner Dietl, Sophia Drossopoulou, Peter Müll...