2688 search results - page 204 / 538 » A formal semantics for P3P |
194
click to vote
DOCENG
2003
ACM
15 years 12 months ago
2003
ACM
XPath [3, 5] is a powerful and quite successful language able to perform complex node selection in trees through compact specifications. As such, it plays a growing role in many ...
205
click to vote
EUROPAR
2003
Springer
15 years 11 months ago
2003
Springer
The growing success of wireless ad hoc networks and portable hardware devices presents many interesting problems to software engineers. Particular, coordination is a challenging t...
168
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
Beginning with BETA, a range of programming language mechanisms such as virtual classes (class-valued attributes of objects) have been developed to allow inheritance in the presen...
167
click to vote
EDOC
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper we introduce a logical viewpoint on architectures. The logical viewpoint is based on the distinction between symbolic and semantic models of architectures. The core ...
167
click to vote
SDL
2007
15 years 8 months ago
2007
Abstract. It is still the case that language descriptions have lots of semantic information captured using plain (English) text. These imprecise descriptions are hardly usable for ...