3199 search results - page 7 / 640 » Variability in Automation System Models |
TPHOL
2009
IEEE
14 years 2 months ago
2009
IEEE
ion and equality to base types but retains lambda abstractions and higher-order variables. We show that this fragment enjoys the characteristic properties of first-order logic: co...
GIS
1998
ACM
13 years 7 months ago
1998
ACM
We study the accuracy of data on some local topographic attributes derived from digital elevation models (DEMs). First, we carry out a test for the precision of four methods for ca...
LICS
1992
IEEE
13 years 11 months ago
1992
IEEE
GIS
2007
ACM
13 years 9 months ago
2007
ACM
ICSE
2008
IEEE-ACM
14 years 7 months ago
2008
IEEE-ACM
Software product line engineering is mostly about the systematic management of commonality and variability between product line members. The effectiveness of this approach thus ve...