2421 search results - page 297 / 485 » Message from the Co-Chairs |
VMCAI
2007
Springer
14 years 4 months ago
2007
Springer
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...
IPPS
2006
IEEE
14 years 4 months ago
2006
IEEE
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...
CAISE
2004
Springer
14 years 4 months ago
2004
Springer
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...
IH
2004
Springer
14 years 4 months ago
2004
Springer
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 ...
APWEB
2003
Springer
14 years 4 months ago
2003
Springer
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...