6142 search results - page 713 / 1229 » The Complexity of Partition Functions |
222
click to vote
SRDS
1993
IEEE
15 years 11 months ago
1993
IEEE
We propose a simple and practical probabilistic comparison-based model, employing multiple incomplete test concepts, for handling fault location in distributed systems using a Bay...
216
click to vote
EH
2004
IEEE
15 years 10 months ago
2004
IEEE
The use of Application Specific Instruction-set Processors (ASIP) in embedded systems is a solution to the problem of increasing complexity in the functions these systems have to ...
171
click to vote
FC
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we present a broadcast encryption scheme with efficient transmission cost under the log-key restriction. Given n users and r revoked users, our scheme has the trans...
210
click to vote
APSEC
2001
IEEE
15 years 10 months ago
2001
IEEE
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
187
Voted
FASE
2000
Springer
15 years 10 months ago
2000
Springer
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and f...