689 search results - page 124 / 138 » A Modal-Logic Based Graph Abstraction |
PKC
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Efficient secure time-stamping schemes employ a 2-level approach in which the time-stamping service operates in rounds. We say that a time-stamping service is accountable...
ASPDAC
2008
ACM
13 years 9 months ago
2008
ACM
Abstract--In this paper, the problem of bus driven floorplanning is addressed. Given a set of modules and bus specifications, a floorplan solution including the bus routes will be ...
ESWS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. The generation of entity identifiers is a key issue in the context of semantic web technologies. Entity identifiers are needed when we perform any kind of operation (e.g....
EUROPAR
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Security and fault-tolerance is a big issue for intensive parallel computing in pervasive environments with hardware errors or malicious acts that may alter the result. I...
CRITIS
2007
13 years 9 months ago
2007
Abstract In this paper we discuss the properties and algorithmic methods for the identification and classification of cyclical interdependencies in critical infrastructures based...