2902 search results - page 126 / 581 » Software Product Lines |
132
click to vote
COMSWARE
2007
IEEE
15 years 10 months ago
2007
IEEE
— Several solutions exist to bridge the last-mile gap in rural telecom. These extend a point of presence from a town to kiosks in surrounding villages. In this paper, we deal wit...
114
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. A technique for elegantly expressing In-lined Reference Monitor (IRM) certification as model-checking is presented and implemented. In-lined Reference Monitors (IRM'...
142
click to vote
ICSE
1997
IEEE-ACM
15 years 8 months ago
1997
IEEE-ACM
This paper discusses a procedure for reviewing code changes that are made to a software product as it moves through its life cycle. In this procedure the technical manager reviews...
160
click to vote
ICSE
2011
IEEE-ACM
14 years 7 months ago
2011
IEEE-ACM
Much research in software engineering have been focused on improving software quality and automating the maintenance process to reduce software costs and mitigating complications ...
143
click to vote
FLAIRS
2001
15 years 5 months ago
2001
We present our consistency support tool BIS, an extension to the electronic product data management system (EPDMS) used at DaimlerChrysler AG to configure the Mercedes lines of pa...