11097 search results - page 2018 / 2220 » Hera presentation generator |
WWW
2002
ACM
14 years 11 months ago
2002
ACM
Web services -- Web-accessible programs and devices ? are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semanti...
WWW
2001
ACM
14 years 11 months ago
2001
ACM
Representation of negotiations in electronic markets and their support are important issues in today's e-commerce research. Whereas most activities are focused on automation ...
PLDI
2009
ACM
14 years 11 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
104
click to vote
PLDI
2009
ACM
14 years 11 months ago
2009
ACM
Inefficient use of memory, including leaks and bloat, remain a significant challenge for C and C++ developers. Applications with these problems become slower over time as their wo...
CHI
2009
ACM
14 years 11 months ago
2009
ACM
Visual markers are graphic symbols designed to be easily recognised by machines. They are traditionally used to track goods, but there is increasing interest in their application ...