5499 search results - page 882 / 1100 » Generalized Rewrite Theories |
206
click to vote
SACMAT
2005
ACM
16 years 23 days ago
2005
ACM
As a major component of any host, or network operating system, access control mechanisms come in a wide variety of forms, each with their individual attributes, functions, methods...
193
click to vote
CHI
2004
ACM
16 years 19 days ago
2004
ACM
Due to fierce industry competition and demand for novelty, games are a fertile research setting for studying interface design, input devices, graphics, social communication and de...
199
click to vote
PASTE
2004
ACM
16 years 19 days ago
2004
ACM
A context-sensitive analysis is an analysis in which program elements are assigned sets of properties that depend upon the context in which they occur. For analyses on imperative ...
206
click to vote
SIGECOM
2004
ACM
16 years 19 days ago
2004
ACM
We study a limited-supply online auction problem, in which an auctioneer has k goods to sell and bidders arrive and depart dynamically. We suppose that agent valuations are drawn ...
205
click to vote
ASM
2003
ASM
16 years 13 days ago
2003
ASM
r in: Abstract State Machines 2003 — Advances in Theory and Applications, Proc. 10th International Workshop, Taormina, Italy, March 3-7, 2003, eds. Egon Boerger, Angelo Gargantin...