5234 search results - page 251 / 1047 » Method Components - Rationale Revealed |
141
click to vote
IEEEIAS
2007
IEEE
15 years 10 months ago
2007
IEEE
As medical image databases are connected together through PACS, those medical images may suffer from security breaches if not protected. If a medical image is illegally obtained o...
TACAS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We describe a method for enumerating all essentially different executions possible for a cryptographic protocol. We call them the shapes of the protocol. Naturally occur...
133
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
A new dynamic vector approach for the selection and management of the configuration of a reconfigurable superscalar processor is proposed. This new method improves on previous wor...
125
click to vote
IWPC
2005
IEEE
15 years 9 months ago
2005
IEEE
Changes of software systems are less expensive and less error-prone if they affect only one subsystem. Thus, clusters of artifacts that are frequently changed together are subsyst...
129
click to vote
ESOP
2005
Springer
15 years 9 months ago
2005
Springer
Abadi-Leino Logic is a Hoare-calculus style logic for a simple imperative and object-based language where every object comes with its own method suite. Consequently, methods need t...