1860 search results - page 171 / 372 » tools 2009 |
152
click to vote
CRYPTO
2009
Springer
16 years 21 days ago
2009
Springer
We suggest practical sub-linear size zero-knowledge arguments for statements involving linear algebra. Given commitments to matrices over a finite field, we give a sub-linear siz...
161
click to vote
CSCWD
2009
Springer
16 years 21 days ago
2009
Springer
This work presents a methodology to formally model and to build collaborative three dimensional interaction tasks in virtual environments using three different tools: Petri Nets, ...
160
click to vote
CSCWD
2009
Springer
16 years 21 days ago
2009
Springer
We present a case study of an international distance education course involving two sites in the US and one site in Pakistan. We use the case study to examine the elements of the ...
165
click to vote
CSL
2009
Springer
16 years 21 days ago
2009
Springer
For programs whose data variables range over boolean or finite domains, program verification is decidable, and this forms the basis of recent tools for software model checking. I...
194
click to vote
ECSQARU
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. We consider a realization of Reiter-style default logic on top of description logic knowledge bases (DL-KBs). To this end, we present elegant transformations from default...