7580 search results - page 1100 / 1516 » Prometheus design tool |
200
click to vote
MTV
2003
IEEE
16 years 13 hour ago
2003
IEEE
Bounded Model Checking (BMC) techniques have been used for formal hardware verification, with the help of tools such as GRASP (Generic search Algorithm for Satisfiability Proble...
174
click to vote
WETICE
2003
IEEE
16 years 10 hour ago
2003
IEEE
Web Services define a new paradigm in present-day collaborative application development in enterprises, and span systems, networks, and organizations. Emerging computing infrastru...
202
click to vote
DOCENG
2003
ACM
16 years 2 hour ago
2003
ACM
XPath [3, 5] is a powerful and quite successful language able to perform complex node selection in trees through compact specifications. As such, it plays a growing role in many ...
199
click to vote
IUI
2003
ACM
16 years 35 min ago
2003
ACM
With the emergence of modularized componentbased electronic services, such as Web Services and semantically tagged services, Individual Service Provisioning, wherein any user can ...
176
click to vote
SIGIR
2003
ACM
15 years 12 months ago
2003
ACM
Most information retrieval technologies are designed to facilitate information discovery. However, much knowledge work involves finding and re-using previously seen information. W...