3824 search results - page 273 / 765 » Geometry Constructions Language |
113
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we enrich FIEVeL (a modelling language for institutions amenable to model checking) with new constructs to describe norms and sanctions. Moreover, we present a speciļ...
120
click to vote
PADL
2004
Springer
15 years 10 months ago
2004
Springer
An XML data binding is a translation of XML documents into values of some programming language. This paper discusses a typepreserving XMLāHaskell data binding that handles docume...
118
click to vote
PPPJ
2003
ACM
15 years 9 months ago
2003
ACM
Java programs that utilize standard extensions with native libraries are problematic since the extensions are platform dependent. We present general methods that make such program...
160
click to vote
GCC
2003
Springer
15 years 9 months ago
2003
Springer
Cooperative computing is becoming inevitable with the emerging of service-oriented computing and GRID becoming a ubiquitous computing resource. It is widely recognized that agent t...
125
click to vote
POPL
1997
ACM
15 years 8 months ago
1997
ACM
Proof-carrying code is a framework for the mechanical veriļ¬cation of safety properties of machine language programs, but the problem arises of quis custodiat ipsos custodesāwh...