4397 search results - page 286 / 880 » Relational Algebra Operations |
124
click to vote
DEDS
2008
15 years 4 months ago
2008
Network calculus offers powerful tools to analyze the performances in communication networks, in particular to obtain deterministic bounds. This theory is based on a strong mathema...
148
click to vote
IANDC
2008
15 years 4 months ago
2008
Recently automated deduction tools have proved to be very effective for detecting attacks on cryptographic protocols. These analysis can be improved, for finding more subtle weakn...
152
click to vote
PAMI
2002
15 years 4 months ago
2002
We describe a robust and efficient system for recognizing typeset and handwritten mathematical notation. From a list of symbols with bounding boxes the system analyzes an expressio...
120
click to vote
ASIACRYPT
2007
Springer
15 years 10 months ago
2007
Springer
The black-box field (BBF) extraction problem is, for a given field F, to determine a secret field element hidden in a black-box which allows to add and multiply values in F in ...
143
click to vote
CONCUR
1992
Springer
15 years 8 months ago
1992
Springer
Petri Place/Transition (PT) nets are one of the most widely used models of concurrency. However, they still lack, in our view, a satisfactory semantics: on the one hand the "...