2205 search results - page 189 / 441 » Mutation Operators for Specifications |
118
click to vote
SRDS
1999
IEEE
15 years 6 months ago
1999
IEEE
In order for mobile agents to be accepted as a basic technology for enabling electronic commerce, proper security mechanisms must be developed. Hosts must be protected from malici...
108
click to vote
LCPC
1998
Springer
15 years 6 months ago
1998
Springer
Although SIMD (Single Instruction stream Multiple Data stream) parallel computers have existed for decades, it is only in the past few years that a new version of SIMD has evolved...
102
Voted
BPM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In large organizations different users or user roles have distinguished perspectives over business processes and related data. Personalized views of the managed processes...
114
click to vote
GPC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. One of the most important collective communication patterns used in scientific applications is the complete exchange, also called All-to-All. Although efficient algorithm...
136
click to vote
FM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...