1163 search results - page 233 / 233 » Case Studies of Model Checking for Embedded System Designs |
162
Voted
GIS
2005
ACM
15 years 10 months ago
2005
ACM
The management of moving objects has been intensively studied in the recent years. A wide and increasing range of database applications has to deal with spatial objects whose posi...
109
Voted
GPCE
2009
Springer
15 years 22 days ago
2009
Springer
Mapping problem-space features into solution-space features is a fundamental configuration problem in software product line engineering. A configuration problem is defined as g...
73
Voted
ICMAS
1998
14 years 10 months ago
1998
The University of Michigan Digital Library (UMDL) is an open system that allows third-parties to build and integrate their own profit-seeking agents into the marketplace of inform...