860 search results - page 159 / 172 » A Process Algebra Based Verification of a Production System |
126
Voted
WSC
2000
15 years 5 months ago
2000
Significant advances have been made in the field of construction process modeling. However, no convenient graphical support tools exist that can depict the modeled operations in 3...
139
Voted
INFOCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Path computation elements (PCE’s) are used to compute end-to-end paths across multiple areas. Multiple PCE’s may be dedicated to each area to provide sufficient path...
158
Voted
KDD
2009
ACM
15 years 10 months ago
2009
ACM
In this paper, we introduce a system named Argo which provides intelligent advertising made possible from users’ photo collections. Based on the intuition that user-generated ph...
139
Voted
MOBIDE
2009
ACM
15 years 10 months ago
2009
ACM
The explosive growth of location-detection devices, wireless communications, and mobile databases has resulted in the realization of location-based services as commercial products...
106
Voted
VLDB
1987
ACM
15 years 7 months ago
1987
ACM
Beginning to create the New Oxford English Dictionary database has resulted in the realization that databases for reference texts are unlike those for conventional enterprises. Wh...