4997 search results - page 19 / 1000 » Genericity - a |
110
Voted
ASIACRYPT
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. To prove or disprove the computational equivalence of solving the RSA problem and factoring integers is a longstanding open problem in cryptography. This paper provides s...
109
Voted
ICALP
2000
Springer
15 years 6 months ago
2000
Springer
We introduce a generic type system (based on Milner's sort system) for the synchronous polyadic -calculus, allowing us to mechanise the analysis of input/output capabilities o...
92
Voted
ICINCO
2008
15 years 4 months ago
2008
Despite much research on companion robots and affective virtual characters, a comprehensive discussion on a generic architecture is lacking. We compile a list of possible requireme...
122
Voted
OTM
2010
Springer
15 years 1 months ago
2010
Springer
In this paper, we present generic algorithms to ensure the consistency of mutual-exclusion and binding constraints in a business process context. We repeatedly identified the need...
ICIP
2004
IEEE
16 years 4 months ago
2004
IEEE