1948 search results - page 332 / 390 » Formalizing Mirror Theory |
130
Voted
WWW
2004
ACM
16 years 4 months ago
2004
ACM
This paper investigates how the vision of the Semantic Web can be carried over to the realm of email. We introduce a general notion of semantic email, in which an email message co...
139
click to vote
WWW
2002
ACM
16 years 4 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...
213
Voted
POPL
2008
ACM
16 years 3 months ago
2008
ACM
When scripts in untyped languages grow into large programs, maintaining them becomes difficult. A lack of types in typical scripting languages means that programmers must (re)disc...
238
Voted
POPL
2005
ACM
16 years 3 months ago
2005
ACM
Several formal languages have been proposed to encode privacy policies, ranging from the Platform for Privacy Preferences (P3P), intended for communicating privacy policies to con...
119
click to vote
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
In efforts to overcome the complexity of the syntax and the lack of formal semantics of conventional hardware description languages, a number of functional hardware description la...