1926 search results - page 223 / 386 » Modeling and Model Checking Software Product Lines |
281
click to vote
GIS
2008
ACM
16 years 5 months ago
2008
ACM
This paper presents an automatic algorithm which reconstructs building models from airborne LiDAR (light detection and ranging) data of urban areas. While our algorithm inherits t...
121
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Creativity is essential to an organization’s survival. In order to remain productive and adaptive, an organization’s members must devise creative solutions – solutions that ...
161
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
Given the dizzying pace of change in computer science, trying to look too far into the future of software engineering is hard. However, it might be possible to predict the future ...
179
click to vote
ICSM
2000
IEEE
15 years 9 months ago
2000
IEEE
Most studies of software evolution have been performed on systems developed within a single company using traditional management techniques. With the widespread availability of se...
127
click to vote
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
The problem of expressing I/O and side effects in functional languages is a well-established one. This paper addresses this problem from a general semantic viewpoint by giving a u...