Sciweavers

1624 search results - page 172 / 325
» Modelling Variability for System Families
Sort
View
ER
1999
Springer
122views Database» more  ER 1999»
15 years 11 months ago
Evolution of Schema and Individuals of Configurable Products
Abstract. The increasing importance of better customisation of industrial products has led to development of configurable products. They allow companies to provide product families...
Tomi Männistö, Reijo Sulonen
IJWIS
2008
150views more  IJWIS 2008»
15 years 6 months ago
COTS-based software product line development
ed Abstract: Purpose of this paper Software Product Line (SPL) is at the forefront among the techniques for reducing costs, decreasing schedule time, and ensuring commonality of fe...
Luiz Fernando Capretz, Faheem Ahmed, Shereef Al-Ma...
BIRTHDAY
2004
Springer
16 years 6 days ago
Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
Mark-Oliver Stehr, José Meseguer
HIPS
1998
IEEE
15 years 11 months ago
Parallel and Distributed Programming with Pthreads and Rthreads
This paper describes Rthreads (Remote threads), a software distributed shared memory system that supports sharing of global variables on clusters of computers with physically dist...
Bernd Dreier, Markus Zahn, Theo Ungerer
ANSS
2007
IEEE
16 years 1 months ago
Evaluating the Design of Biological Cells Using a Computer Workbench
For embedded systems as well as for biological cell systems, design is a feature that defines their identity. The assembly of different components in designs of both systems can ...
Tessa E. Pronk, Simon Polstra, Andy D. Pimentel, T...