1407 search results - page 161 / 282 » Using Use Cases in Executable Z |
120
click to vote
STACS
1992
Springer
15 years 8 months ago
1992
Springer
abstract Rafail Ostrovskyy Ramarathnam Venkatesanz Moti Yungx Secure commitment is a primitive enabling information hiding, which is one of the most basic tools in cryptography. S...
160
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
The non-English Web is growing at breakneck speed, but available language processing tools are mostly English based. Taxonomies are a case in point: while there are plenty of comm...
104
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
This paper provides a bridge between the classical tiling theory and cellular automata on one side, and the complex neighborhood self-assembling situations that exist in practice,...
153
click to vote
ECCC
2011
14 years 11 months ago
2011
We show two new direct product results in two different models of communication complexity. Our first result is in the model of one-way public-coin model. Let f ⊆ X × Y × Z ...
122
click to vote
WSC
2007
15 years 6 months ago
2007
Unambiguous definition of the information exchanged between distributed systems is a necessary requirement for simulation system interoperability. The ontological spectrum categor...