Sciweavers

2421 search results - page 297 / 485
» Message from the Co-Chairs
Sort
View
VMCAI
2007
Springer
14 years 4 months ago
Model Checking Nonblocking MPI Programs
Abstract. This paper explores a way to apply model checking techniques to parallel programs that use the nonblocking primitives of the Message Passing Interface (MPI). The method h...
Stephen F. Siegel
IPPS
2006
IEEE
14 years 4 months ago
Analytical performance modelling of partially adaptive routing in wormhole hypercubes
Although several analytical models have been proposed in the literature for different interconnection networks with different routing algorithms, there is only one work dealing wi...
Ahmad Patooghy, Hamid Sarbazi-Azad
CAISE
2004
Springer
14 years 4 months ago
Why we understand each other: the role of the context
This short paper addresses the problem of mutual understanding from an anthropomorphic point of view, highlighting the underlying basic mechanisms and principles. Then the paper ex...
G. Andrighetto, Pierluigi Assogna
IH
2004
Springer
14 years 4 months ago
Exploiting Preserved Statistics for Steganalysis
We introduce a steganalytic method which takes advantage of statistics that were preserved to prevent the chi-square attack. We show that preserving statistics by skipping certain ...
Rainer Böhme, Andreas Westfeld
APWEB
2003
Springer
14 years 4 months ago
An Event Based Approach to Web Service Design and Interaction
This paper advocates an approach to web service design and interaction that is based on web services simultaneously participating in shared business events. In contrast to one-to-o...
Wilfried Lemahieu, Monique Snoeck, Cindy Michiels,...