15974 search results - page 2987 / 3195 » Object-Oriented Software Engineering |
181
Voted
FSTTCS
2003
Springer
16 years 7 days 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...
152
Voted
FSTTCS
2003
Springer
16 years 7 days ago
2003
Springer
Abstract. Transactions are commonly described as being ACID: Allor-nothing, Consistent, Isolated and Durable. However, although these words convey a powerful intuition, the ACID pr...
192
click to vote
FSTTCS
2003
Springer
16 years 7 days 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...
199
click to vote
FSTTCS
2003
Springer
16 years 7 days ago
2003
Springer
Computational genomics involves comparing sequences based on “similarity” for detecting evolutionary and functional relationships. Until very recently, available portions of th...
229
click to vote
FSTTCS
2003
Springer
16 years 7 days ago
2003
Springer
The Covering Steiner problem is a common generalization of the k-MST and Group Steiner problems. An instance of the Covering Steiner problem consists of an undirected graph with ed...