4469 search results - page 239 / 894 » A Language for Role Specifications |
154
click to vote
SIAMCOMP
2008
15 years 5 months ago
2008
We investigate structural properties of interactive perfect zero-knowledge (PZK) proofs. Specifically, we look into the closure properties of PZK languages under monotone boolean ...
183
click to vote
ISW
2004
Springer
15 years 12 months ago
2004
Springer
Misuse Detection systems identify evidence of attacks by searching for patterns of known attacks (signatures). A main problem in this context is the modeling and specification of a...
146
click to vote
ICMCS
2006
IEEE
16 years 20 days ago
2006
IEEE
Possible solutions to the management of multichannel delivering, production on demand, and containment of sale prices in the digital multimedia content production could be the aut...
155
click to vote
SBIA
2004
Springer
15 years 12 months ago
2004
Springer
Tools and techniques used for automatic and smart analysis of huge data repositories of industries, governments, corporations and scientific institutes are the subjects dealt by th...
166
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
With the proliferation of consumer computing devices with varied display and input characteristics, it has become desirable to develop interactive systems that are usable across m...