1926 search results - page 296 / 386 » Modeling and Model Checking Software Product Lines |
117
Voted
LSO
2004
Springer
15 years 5 months ago
2004
Springer
Selection of Commercial-off-The-Shelf (COTS) software products is a knowledge-intensive process. In this paper, we show how knowledge bases can be used to facilitate the COTS selec...
TGC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We propose Architectural Design Rewriting (ADR), an approach to formalise the development and reconfiguration of software architectures based on term-rewriting. An archi...
106
click to vote
ISESE
2005
IEEE
15 years 5 months ago
2005
IEEE
The development of High-Performance Computing (HPC) programs is crucial to progress in many fields of scientific endeavor. We have run initial studies of the productivity of HPC d...
101
click to vote
MEDINFO
2007
15 years 1 months ago
2007
Ongoing concerns have been raised over the effectiveness of information technology products and systems in maintaining privacy protection for sensitive data. The aim is to ensure ...
CODES
2011
IEEE
13 years 11 months ago
2011
IEEE
Two overriding concerns in the development of embedded MPSoCs are ease of programming and hardware complexity. In this paper we present SoC-TM, an integrated HW/SW solution for tr...