5384 search results - page 317 / 1077 » Open Standards Requirements |
193
click to vote
APN
2010
Springer
15 years 11 months ago
2010
Springer
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...
212
Voted
ASIACRYPT
2009
Springer
15 years 11 months ago
2009
Springer
A fault attack consists in inducing hardware malfunctions in order to recover secrets from electronic devices. One of the most famous fault attack is Bellcore’s attack against RS...
205
click to vote
SARA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This article presents two new algorithms whose purpose is to maintain the Max-RPC domain filtering consistency during search with a minimal memory footprint and implemen...
184
click to vote
AOSE
2001
Springer
15 years 11 months ago
2001
Springer
In this paper, we describe the Architecture Description Language (ADL) that we are defining for the design of agentbased systems. This aims at filing the gap between the analysis ...
178
click to vote
PCI
2001
Springer
15 years 11 months ago
2001
Springer
One of the most rapidly evolving e-services is e-Learning, that is, the creation of advanced educational resources that are accessible on-line and, potentially, offer numerous adva...