8627 search results - page 1613 / 1726 » Software Engineering Using RATionale |
136
click to vote
FSTTCS
2003
Springer
15 years 10 months ago
2003
Springer
We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “ ”, that allows to model parallel composition while ke...
147
click to vote
FSTTCS
2003
Springer
15 years 10 months ago
2003
Springer
We prove the Needham-Schroeder-Lowe public-key protocol secure under real, active cryptographic attacks including concurrent protocol runs. This proof is based on an abstract crypt...
135
click to vote
ISMVL
2010
IEEE
15 years 9 months ago
2010
IEEE
—The purpose of secure devices such as smartcards is to protect secret information against software and hardware attacks. Implementation of the appropriate protection techniques ...
138
click to vote
EUROSYS
2010
ACM
15 years 9 months ago
2010
ACM
Combining access control with weakly consistent replication presents a challenge if the resulting system is to support eventual consistency. If authorization policy can be tempora...
132
Voted
CODES
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents an automatic method to customize embedded application-specific instruction processors (ASIPs) based on compiler analysis. ASIPs, also known as embedded soft c...