Sciweavers

JSS
2010
198views more  JSS 2010»
13 years 6 months ago
Accelerated collection of sensor data by mobility-enabled topology ranks
We study the problem of fast and energy-efficient data collection of sensory data using a mobile sink, in wireless sensor networks in which both the sensors and the sink move. Mot...
Constantinos Marios Angelopoulos, Sotiris E. Nikol...
JSS
2010
87views more  JSS 2010»
13 years 6 months ago
Enhancing middleware support for architecture-based development through compositional weaving of styles
Sam Malek, Harshini Ramnath Krishnan, Jayalakshmi ...
JSS
2010
123views more  JSS 2010»
13 years 6 months ago
Composition of architectural models: Empirical analysis and language support
Managing the architectural description (AD) of a complex software system and maintaining consistency among the different models is a demanding task. To understand the underlying p...
Nelis Boucké, Danny Weyns, Tom Holvoet
JSS
2010
136views more  JSS 2010»
13 years 6 months ago
Automated diagnosis of feature model configurations
Software product-lines (SPLs) are software architectures that can be readily reconfigured for different project requirements. A key part of an SPL is a model that captures the rul...
Jules White, David Benavides, Douglas C. Schmidt, ...
JSS
2010
120views more  JSS 2010»
13 years 6 months ago
Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
Marco Bernardo, Edoardo Bontà, Alessandro A...
JSS
2010
142views more  JSS 2010»
13 years 6 months ago
Analysis of service availability for time-triggered rejuvenation policies
In this paper we investigate the effect of three time-triggered system rejuvenation policies on service availability using a queuing model. The model is formulated as an extended ...
Felix Salfner, Katinka Wolter
JSS
2010
120views more  JSS 2010»
13 years 6 months ago
A family of languages for architecture constraint specification
During software development, architecture decisions should be documented so that quality attributes guaranteed by these decisions and required in the software specification could ...
Chouki Tibermacine, Régis Fleurquin, Salah ...