4166 search results - page 373 / 834 » Automating the constraining process |
120
click to vote
IFM
2007
Springer
15 years 11 months ago
2007
Springer
Many process calculi have been proposed since Robin Milner and Tony Hoare opened the way more than 25 years ago. Although they are based on the same kernel of operators, most of th...
164
click to vote
IHI
2010
14 years 11 months ago
2010
One goal of medical device certification is to show that a given medical device satisfies its requirements. The requirements that should be met by a device, however, depend on the...
243
click to vote
GIS
2007
ACM
16 years 5 months ago
2007
ACM
Given a transportation network, a vulnerable population, and a set of destinations, evacuation route planning identifies routes to minimize the time to evacuate the vulnerable pop...
238
click to vote
GIS
2005
ACM
16 years 5 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...
156
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
Many embedded systems contain resource constrained microcontrollers where applications, operating system components and device drivers reside within a single address space with no...