511 search results - page 101 / 103 » WODA - A Web Services Generator |
FOSSACS
2005
Springer
15 years 5 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
ICICS
2005
Springer
15 years 5 months ago
2005
Springer
Software that covertly monitors a user’s actions, also known as spyware, has become a first-level security threat due to its ubiquity and the difficulty of detecting and remov...
128
click to vote
IFIP
2005
Springer
15 years 5 months ago
2005
Springer
Digital forensic investigators are often faced with the task of manually examining a large number of (photographic) images in order to identify potential evidence. The task can be...
126
click to vote
IUI
2004
ACM
15 years 5 months ago
2004
ACM
Complex applications in many areas, including scientific computations and business-related web services, are created from collections of components to form workflows. In many case...
106
click to vote
ICCS
2003
Springer
15 years 4 months ago
2003
Springer
This paper describes a monitoring tool for grid computing[5], called visPerf. It is difficult to see the status of a working production grid system without a customized monitorin...