1153 search results - page 99 / 231 » The Complexity of Revision, Revised |
151
click to vote
AMC
2006
15 years 6 months ago
2006
This paper presents a new functional computation model for developing a class of two-variable Lambda-Boolean functions, and describes the properties of the duality principle on th...
158
click to vote
IJAR
2008
15 years 6 months ago
2008
We introduce a general framework that is based on distance semantics and investigate the main properties of the entailment relations that it induces. It is shown that such entailm...
136
click to vote
FUIN
2006
15 years 6 months ago
2006
We deal with the notion of M-unambiguity [5] in connection with the Parikh matrix mapping introduced by Mateescu and others in [7]. M-unambiguity is studied both in terms of words ...
142
click to vote
ISR
2008
15 years 6 months ago
2008
s displays harmed interrupters' task performance, while abstract displays did not. We conclude that y with an abstract representation of a collaborator's workload is opti...
145
click to vote
IJNSEC
2006
15 years 6 months ago
2006
The Short Secret Sharing Protocols (S3P), proposed by Roe et al in 1998 [13] and revised in 2003 [14], is a family of protocols that bootstrap secure session keys from weak secret...