3868 search results - page 630 / 774 » Open Systems in TLA |
146
click to vote
PLDI
2000
ACM
15 years 10 months ago
2000
ACM
We show how to determine statically whether it is safe for untrusted machine code to be loaded into a trusted host system. Our safety-checking technique operates directly on the u...
169
click to vote
UIST
2000
ACM
15 years 10 months ago
2000
ACM
In this paper we investigate the use of scene graphs as a general approach for implementing two-dimensional (2D) graphical applications, and in particular Zoomable User Interfaces...
188
click to vote
AGP
1999
IEEE
15 years 10 months ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
154
click to vote
WACC
1999
ACM
15 years 10 months ago
1999
ACM
The interoperability of systems to support cooperative work requires moving beyond purely technical issues; it also concerns the means and practices that users adopt to articulate...
178
click to vote
ICRA
1999
IEEE
15 years 10 months ago
1999
IEEE
Human-robot interaction has been identified as one of the major open research directions in mobile robotics. This paper considers a specific type of interaction: short-term and sp...