5863 search results - page 856 / 1173 » On Model-Checking of P Systems |
166
click to vote
WCRE
1997
IEEE
15 years 11 months ago
1997
IEEE
We present an approach for the generation of components for a software renovation factory. These components are generated from a context-free grammar definition that recognizes t...
159
click to vote
UIST
1997
ACM
15 years 11 months ago
1997
ACM
This paper presents a scheme for extending an informal, penbased whiteboard system (the Tivoli application on the Xerox LiveBoard) to provide interaction techniques that enable gr...
168
click to vote
ICDCS
1996
IEEE
15 years 11 months ago
1996
IEEE
We propose a new algorithm for recovering asynchronously from failures in a distributed computation. Our algorithm is based on two novel concepts - a fault-tolerant vector clock t...
204
click to vote
SIGGRAPH
1996
ACM
15 years 11 months ago
1996
ACM
Sketching communicates ideas rapidly through approximate visual images with low overhead (pencil and paper), no need for precision or specialized knowledge, and ease of low-level ...
150
Voted
SIGIR
1996
ACM
15 years 11 months ago
1996
ACM
We present a deductive data model for concept-based query expansion. It is based abstraction levels: the conceptual, the expression and the occurrence level. Concepts and their re...