2374 search results - page 262 / 475 » The language of machines |
154
click to vote
EUMAS
2006
15 years 8 months ago
2006
Norms constitute a powerful coordination mechanism among heterogeneous agents. We propose means to specify and explicitly manage the normative positions of agents (permissions, pro...
196
click to vote
ACSE
2000
ACM
15 years 11 months ago
2000
ACM
The Logo programming language implements a virtual drawing machine—the turtle machine. The turtle machine is well-known for giving students an intuitive understanding of fundame...
176
click to vote
SP
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
163
click to vote
ASPLOS
1991
ACM
15 years 10 months ago
1991
ACM
Caches enhance the performance of multiprocessors by reducing network trac and average memory access latency. However, cache-based systems must address the problem of cache coher...
113
Voted
COLING
1996
15 years 8 months ago
1996
This paper tbeuses on two disparate asI)e(:ts of German syntax from the perspeetive of paral]eJ grammar developmenl;. As part of a eOOl)erative project, we present an innovative a...