1965 search results - page 130 / 393 » On the analysis of interacting pushdown systems |
COCO
2007
Springer
14 years 3 months ago
2007
Springer
We consider a class of two-prover interactive proof systems where each prover returns a single bit to the verifier and the verifier’s verdict is a function of the XOR of the tw...
CHI
2007
ACM
14 years 9 months ago
2007
ACM
Technologies can be used ? or appropriated ? in different ways by different users, but how do the use patterns evolve, and how can design facilitate such evolution? This paper app...
CSCWD
2001
Springer
14 years 1 months ago
2001
Springer
Workflow management techniques are aiming at supporting business process across organization boundaries. Current techniques are lacking of the formalism tools to model and analyze...
DEXAW
1997
IEEE
14 years 1 months ago
1997
IEEE
This paper proposes a system which eases the job of entering and sharing expert analysis on a database system, with emphasis to pictorial and document information. With this syste...
ENVSOFT
2007
13 years 9 months ago
2007
A major force affecting many forest ecosystems is the encroachment of residential, commercial and industrial development. Analysis of the complex interactions between development ...