Sciweavers

1251 search results - page 122 / 251
» A Method for Component-Based Software and System Development
Sort
View
163
Voted
OPODIS
2004
15 years 4 months ago
Embedded Systems - Challenges and Work Directions
Embedded Systems are components integrating software and hardware jointly and specifically designed to provide given functionalities. These components may be used in many different...
Joseph Sifakis
129
Voted
ICWN
2003
15 years 4 months ago
An Indoor Bluetooth-Based Positioning System: Concept, Implementation and Experimental Evaluation
This paper presents the experimental evaluation of a Bluetooth-based positioning system. The method has been implemented in a Bluetooth-capable handheld device. Empirical tests of...
Silke Feldmann, Kyandoghere Kyamakya, Ana Zapater,...
CORR
2010
Springer
178views Education» more  CORR 2010»
15 years 2 months ago
Towards A Shape Analysis for Graph Transformation Systems
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...
Dominik Steenken, Heike Wehrheim, Daniel Wonisch
121
Voted
FMCO
2007
Springer
129views Formal Methods» more  FMCO 2007»
15 years 9 months ago
Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project
As Internet applications become larger and more complex, the task of managing them becomes overwhelming. “Abnormal” events such as software updates, failures, attacks, and hots...
Peter Van Roy, Seif Haridi, Alexander Reinefeld, J...
KBSE
2010
IEEE
15 years 1 months ago
An automated approach for finding variable-constant pairing bugs
Named constants are used heavily in operating systems code, both as internal flags and in interactions with devices. Decision making within an operating system thus critically de...
Julia L. Lawall, David Lo