1385 search results - page 172 / 277 » Natural Rewriting for General Term Rewriting Systems |
149
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
In the very near future complete households will be entirely networked as a de facto standard. In this poster we briefly describe our work in the area of domotics, where personali...
158
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
Fully automated trading, such as e-procurement, using the Internet is virtually unheard of today. Three core technologies are needed to fully automate the trading process: data mi...
161
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
A technical infrastructure for storing, querying and managing RDF data is a key element in the current semantic web development. Systems like Jena, Sesame or the ICS-FORTH RDF Sui...
142
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
Applied Type System (ATS) is recently proposed as a framework for designing and formalizing (advanced) type systems in support of practical programming. In ATS, the definition of ...
168
click to vote
MSWIM
2006
ACM
16 years 12 days ago
2006
ACM
Recent studies and publications have shown a demand for a secure method to proof someones or somenthings position via a communication channel. In this paper we present a concept a...