249 search results - page 7 / 50 » Validating Architectural Feature Descriptions using LOTOS |
102
click to vote
VAMOS
2007
Springer
15 years 3 months ago
2007
Springer
The Feature–Oriented approach provides a way of modelling commonalities and variabilities among products of a software product line. A feature model can be used as input for gen...
CDVE
2007
Springer
15 years 3 months ago
2007
Springer
The team of engineers designing and implementing distributed control system software must communicate within a multidisciplinary environment. One of the main problems is the intera...
95
Voted
FDL
2007
IEEE
15 years 3 months ago
2007
IEEE
—This paper presents Anahita Processor Description Language (APDL) for generation of retargetable processor design tool sets. The emphasis is on the applicability of the generate...
100
click to vote
ITNG
2008
IEEE
15 years 3 months ago
2008
IEEE
In this paper the authors describe the implementation and validation of a prototype of an environmental and health monitoring system based on a Wireless Sensor Network (WSN). The ...
PDP
2006
IEEE
15 years 3 months ago
2006
IEEE
— The Parallel Resource-Optimal (PRO) computation model was introduced by Gebremedhin et al. [2002] as a framework for the design and analysis of efficient parallel algorithms. ...