Sciweavers

7118 search results - page 423 / 1424
» Electrical and Computer Engineering
Sort
View
GI
2009
Springer
15 years 4 months ago
Project Planning Support by Model Checking
Abstract: Today's trend in software and system engineering is to utilize more specialized models. This model-based development approach makes a single engineering task more ea...
Björn Axenath, Oliver Sudmann
COLING
2010
15 years 1 months ago
Document Expansion Based on WordNet for Robust IR
The use of semantic information to improve IR is a long-standing goal. This paper presents a novel Document Expansion method based on a WordNet-based system to find related concep...
Eneko Agirre, Xabier Arregi, Arantxa Otegi
AC
2003
Springer
16 years 3 days ago
System Support for Pervasive Applications
To make pervasive computing a reality, we need better system support for building, deploying, and using pervasive applications. In this paper, we identify the unique requirements ...
Robert Grimm, Brian N. Bershad
CBSE
2006
Springer
15 years 10 months ago
Towards Encapsulating Data in Component-Based Software Systems
Abstract. A component-based system consists of components linked by connectors. Data can reside in components and/or in external data stores. Operations on data, such as access, up...
Kung-Kiu Lau, Faris M. Taweel
ICSE
2008
IEEE-ACM
16 years 7 months ago
CCVisu: automatic visual software decomposition
Understanding the structure of large existing (and evolving) software systems is a major challenge for software engineers. In reverse engineering, we aim to compute, for a given s...
Dirk Beyer