3056 search results - page 289 / 612 » Open Implementation Analysis and Design |
179
click to vote
ESORICS
2002
Springer
16 years 6 months ago
2002
Springer
Confidentiality-preserving refinement describes a relation between a specification and an implementation that ensures that all confidentiality properties required in the specificat...
153
click to vote
IC
2004
15 years 8 months ago
2004
The electronic sharing of general scientific data can be a complex but incredibly beneficial process. We identify elements that must exist in a system designed for such a purpose ...
177
click to vote
NIPS
2003
15 years 8 months ago
2003
Synapses are a critical element of biologically-realistic, spike-based neural computation, serving the role of communication, computation, and modification. Many different circui...
122
click to vote
Source Code
"This Toolbox is designed to minimize the sum of coding, execution and analysis time for those who want to explore level set methods. Computationally, Matlab is not the fastes...
163
click to vote
ICWS
2007
IEEE
15 years 8 months ago
2007
IEEE
The advent of SOA and Grid technology has brought new challenges to workflow operation and performance evaluation. In this paper, the characteristics of service-oriented workflow ...