2880 search results - page 69 / 576 » Types are calling conventions |
UIST
1996
ACM
15 years 4 months ago
1996
ACM
We have implemented a collaborative agent toolkit called Collagen and used it to build a software agent that collaborates with the user of a direct-manipulation graphical interfac...
155
click to vote
DIMVA
2011
14 years 3 months ago
2011
Many software security solutions—including malware analyzers, information flow tracking systems, auditing utilities, and host-based intrusion detectors—rely on knowledge of s...
CGF
2000
14 years 11 months ago
2000
: Having evolved from volume visualisation, volume graphics is emerging as an important sub-field of computer graphics. This paper focuses on a fundamental aspect of volume graphic...
FUIN
2010
14 years 6 months ago
2010
Abstract. In this paper we present a novel approach to big-step operational semantics. This approach stems from the observation that the typical type soundness property formulated ...
171
click to vote
PODS
2009
ACM
16 years 13 days ago
2009
ACM
A distributed XML document is an XML document that spans several machines or Web repositories. We assume that a distribution design of the document tree is given, providing an XML...