5140 search results - page 894 / 1028 » Complex Network of Earthquakes |
171
click to vote
FORMATS
2006
Springer
15 years 8 months ago
2006
Springer
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...
113
click to vote
FPL
2006
Springer
15 years 8 months ago
2006
Springer
A modern SoC design comprises dozens of dedicated IP cores for specialized tasks and processors for generalpurpose tasks. Flexibility is the key feature of processors, since it is...
144
click to vote
CLUSTER
2001
IEEE
15 years 8 months ago
2001
IEEE
This paper presents Clusterfile, a parallel file system that provides parallel file access on a cluster of computers. Existing parallel file systems offer little control over matc...
136
click to vote
FOSAD
2000
Springer
15 years 8 months ago
2000
Springer
This material was presented in a series of lectures at fosad, a summer school on Foundations of Security Analysis and Design, at the University of Bologna Center at Bertinoro in Se...
173
click to vote
PODC
1998
ACM
15 years 8 months ago
1998
ACM
A contract is a non-repudiable agreement on a given contract text, i.e., a contract can be used to prove agreement between its signatories to any verifier. A contract signing sche...