Sciweavers

2205 search results - page 189 / 441
» Mutation Operators for Specifications
Sort
View
SRDS
1999
IEEE
15 years 6 months ago
Security Mechanisms for using Mobile Agents in Electronic Commerce
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...
Paulo Marques, Luís Moura Silva, Joã...
LCPC
1998
Springer
15 years 6 months ago
Compiling for SIMD Within a Register
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...
Randall J. Fisher, Henry G. Dietz
102
Voted
BPM
2007
Springer
116views Business» more  BPM 2007»
15 years 6 months ago
View-Based Process Visualization
Abstract. In large organizations different users or user roles have distinguished perspectives over business processes and related data. Personalized views of the managed processes...
Ralph Bobrik, Manfred Reichert, Thomas Bauer
GPC
2007
Springer
15 years 6 months ago
Assessing Contention Effects on MPI_Alltoall Communications
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...
Luiz Angelo Steffenel, Maxime Martinasso, Denis Tr...
FM
2009
Springer
169views Formal Methods» more  FM 2009»
15 years 6 months ago
Model Checking Linearizability via Refinement
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
Yang Liu 0003, Wei Chen, Yanhong A. Liu, Jun Sun 0...