4126 search results - page 622 / 826 » Relationships with other Formalisms |
173
click to vote
CCS
2007
ACM
16 years 21 days ago
2007
ACM
We construct two new multiparty digital signature schemes that allow multiple signers to sequentially produce a compact, fixed-length signature. First, we introduce a new primiti...
211
click to vote
CDVE
2007
Springer
16 years 21 days ago
2007
Springer
Nowadays, collaborative product development has become a strategic necessity to develop high quality products at low cost and with quick response time to market demand. Past decade...
188
click to vote
CIA
2007
Springer
16 years 21 days ago
2007
Springer
When two or more agents interacting, their behaviors are not necessarily matching. Automated ways to overcome con icts in the behavior of agents can make the execution of interacti...
180
click to vote
CPAIOR
2007
Springer
16 years 20 days ago
2007
Springer
A linear pseudo-Boolean constraint (LPB) is an expression of the form a1 · 1 + . . . + am · m ≥ d, where each i is a literal (it assumes the value 1 or 0 depending on whether a...
152
click to vote
DBPL
2007
Springer
16 years 20 days ago
2007
Springer
Annotated relational databases can be queried either by simply making the annotations explicitly available along the ordinary data, or by adapting the standard query operators so ...