294 search results - page 58 / 59 » Introducing Executable Product Models for the Service Indust... |
ICDE
2003
IEEE
14 years 7 months ago
2003
IEEE
The XML Wrapper is a new feature of the federated database capabilities of DB2/UDB v8. It enables users and applications to issue SQL queries against XML data from a variety of so...
FORTE
1994
13 years 7 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
EGH
2003
Springer
13 years 11 months ago
2003
Springer
Current graphics hardware can render procedurally shaded objects in real-time. However, due to resource and performance limitations, interactive shaders can not yet approach the c...
EMSOFT
2007
Springer
14 years 17 days ago
2007
Springer
Design space exploration of embedded systems typically focuses on classical design goals such as cost, timing, buffer sizes, and power consumption. Robustness criteria, i.e. sensi...
SIGIR
2009
ACM
14 years 27 days ago
2009
ACM
Web search is increasingly exploiting named entities like persons, places, businesses, addresses and dates. Entity ranking is also of current interest at INEX and TREC. Numerical ...