Sciweavers

8719 search results - page 171 / 1744
» Visualization of Distributed Processes Using
Sort
View
EDOC
2006
IEEE
15 years 9 months ago
Semi-Automatic Distribution Pattern Modeling of Web Service Compositions using Semantics
Enterprise systems are frequently built by combining a number of discrete Web services together, a process termed composition. There are a number of architectural configurations ...
Ronan Barrett, Claus Pahl
CSCW
2002
ACM
15 years 2 months ago
Extreme work teams: using SWAT teams as a model for coordinating distributed robots
We present a field study of police SWAT teams for the purpose of enabling grounded design of a system to coordinate distributed field robots. The mission-oriented, spatially distr...
Hank Jones, Pamela J. Hinds
TCS
2008
15 years 3 months ago
Using bisimulation proof techniques for the analysis of distributed abstract machines
Analysis of Distributed Abstract Machines Damien Pous ENS Lyon, France. We illustrate the use of recently developed proof techniques for weak bisimulation sing a generic framework...
Damien Pous
ICIAP
2005
ACM
16 years 3 months ago
Security Enhancement of Visual Hashes Through Key Dependent Wavelet Transformations
Parameterized wavelet filters and wavelet packet subband structures are discussed to be used as key dependent wavelet transforms in order to enhance the security of wavelet based h...
Albert Meixner, Andreas Uhl
AWPN
2008
241views Algorithms» more  AWPN 2008»
15 years 4 months ago
ImageNetDiff: A Visual Aid to Support the Discovery of Differences in Petri Nets
In this paper we propose a method and present a tool as plugin for Renew that supports the process of discovery of differences in possibly conflicting versions of Petri net code. T...
Lawrence Cabac, Jan Schlüter