1833 search results - page 224 / 367 » Mechanized Verification with Sharing |
178
click to vote
OPODIS
2003
15 years 7 months ago
2003
Abstract. We present and motivate the definition and use of the language and environment dSL, an imperative and event driven language designed to program distributed industrial co...
199
click to vote
CRIWG
2000
15 years 7 months ago
2000
This paper presents the concept of a collaborative computer integrated classroom (CiC) specially designed to achieve a unique combination of interactive and collaborative software...
148
click to vote
SCM
1998
15 years 7 months ago
1998
As part of an investigation of scalable development techniques for systems written in the JavaTM programming language, the Forest Project is building JP, a prototype distributed pr...
123
click to vote
IJCAI
1989
15 years 7 months ago
1989
Most implementations of AND-parallelism tackle the shared variable problem by running literals in parallel only if they have no variables in common and thus are independent from e...
195
click to vote
BIS
2009
15 years 7 months ago
2009
Abstract. Social software is known to stimulate the exchange and sharing of information among peers. This paper describes how an existing system that supports process builders in c...