1926 search results - page 155 / 386 » Modeling and Model Checking Software Product Lines |
159
click to vote
HICSS
2007
IEEE
16 years 22 days ago
2007
IEEE
The objective of this paper is to study how a software product company can expand its productbased business with the Software as a Service (SaaS) model into the mobile setting. We...
148
click to vote
ETFA
2006
IEEE
16 years 13 days ago
2006
IEEE
New technological trends lead to the increasing use of network technologies in automation. Especially the Ethernet with TCP/IP and wireless networks find growing acceptance. The r...
195
click to vote
ESEM
2007
ACM
15 years 10 months ago
2007
ACM
This paper focuses on in-process measurements during requirements definition where measurements of processes and products are relatively difficult. However, development processes ...
178
click to vote
EDBTW
2006
Springer
15 years 8 months ago
2006
Springer
The need for incremental constraint maintenance within collections of semi-structured documents has been ever increasing in the last years due to the widespread diffusion of XML. T...
192
click to vote
SMA
1995
ACM
15 years 10 months ago
1995
ACM
We describe a method of constructing a B-rep solid model from a single hidden-line removed sketch view of a 3D object. The main steps of our approach are as follows. The sketch is...