4118 search results - page 470 / 824 » Mechanisms for usage control |
209
click to vote
JLP
2007
15 years 7 months ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...
193
click to vote
JSA
2000
15 years 7 months ago
2000
This paper presents an efficient routing and flow control mechanism to implement multidestination message passing in wormhole networks.It is targeted to situations where the size ...
202
click to vote
RAS
2000
15 years 7 months ago
2000
Mobile robot navigation under controlled laboratory conditions is, by now, state of the art and reliably achievable. To transfer navigation mechanisms used in such small-scale env...
302
click to vote
DSN
2011
IEEE
14 years 7 months ago
2011
IEEE
—Virtual coordinate systems provide an accurate and efficient service that allows hosts on the Internet to determine latency to arbitrary hosts based on information provided by ...
184
click to vote
CHI
2003
ACM
16 years 8 months ago
2003
ACM
In evaluations of text entry methods, participants enter phrases of text using a technique of interest while performance data are collected. This paper describes and publishes (vi...