1163 search results - page 233 / 233 » Case Studies of Model Checking for Embedded System Designs |
GIS
2005
ACM
14 years 9 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...
GPCE
2009
Springer
13 years 11 months 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...
ICMAS
1998
13 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...