3824 search results - page 387 / 765 » Geometry Constructions Language |
141
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
The increased importance of XML as a data representation format has led to several proposals for facilitating the development of applications that operate on XML data. These propo...
170
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
Some recent initiatives try to take profit from RDF to make XML documents interoperate at the semantic level. Ontologies are used to establish semantic connections among XML langu...
179
Voted
WWW
2004
ACM
16 years 6 months ago
2004
ACM
We present in this poster our work on a User Interface Markup Language (UIML) vocabulary for the specification of device- and modality independent user interfaces. The work presen...
240
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
The subtyping test consists of checking whether a type t is a descendant of a type r (Agrawal et al. 1989). We study how to perform such a test efficiently, assuming a dynamic hie...
274
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
We introduce lock allocation, an automatic technique that takes a multi-threaded program annotated with atomic sections (that must be executed atomically), and infers a lock assig...