1833 search results - page 305 / 367 » Mechanized Verification with Sharing |
149
click to vote
CSCW
2002
ACM
15 years 4 months ago
2002
ACM
Conventions are necessary to establish in any recurrent cooperative arrangement. In electronic work, they are important so as to regulate the use of shared objects. Based on empir...
159
click to vote
AMAI
1999
Springer
15 years 4 months ago
1999
Springer
In this paper we present an extension of logic programming (LP) that is suitable not only for the "rational" component of a single agent but also for the "reactive&...
120
click to vote
PE
1998
Springer
15 years 4 months ago
1998
Springer
- A modified version of the datagram capacity assignment of the FODA access scheme, named FODA/IBEA, is briefly presented. The main difference from the previous version (besides th...
139
click to vote
TCS
2002
15 years 4 months ago
2002
In a heap model, solid blocks, or pieces, pile up according to the Tetris game mechanism. An optimal schedule is an in nite sequence of pieces minimizing the asymptotic growth rat...
158
click to vote
TMM
2002
15 years 4 months ago
2002
Abstract--The Internet provides a universal platform for largescale distribution of information and supports inter-organizational services, system integration, and collaboration. U...