945 search results - page 22 / 189 » Posix: A Model for Future Computing |
HICSS
2005
IEEE
15 years 3 months ago
2005
IEEE
Sensors are often indicative of events of interest, or events which a system should be aware of and should react to. In particular, such indications may reflect unsteadiness or in...
LPAR
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The main goal of this paper is to apply rewriting termination technology —enjoying a quite mature set of termination results and tools— to the problem of proving auto...
HT
2004
ACM
15 years 3 months ago
2004
ACM
We describe the extension to our previous work on a Web-based peer-to-peer open hypermedia system, the DDLS. We enrich the peer model by introducing query history, and propose the...
IJCAI
2003
14 years 11 months ago
2003
Society needs humor, not just for entertainment. In the Web age, presentations become more and more flexible and personalized and they will require hu mor contributions for elec...
IANDC
2008
14 years 9 months ago
2008
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...