WETICE
2006
IEEE
14 years 5 months ago
2006
IEEE
Verification of the security of software artifacts is a challenging task. An integrated approach that combines verification techniques can increase the confidence in the security ...
WETICE
2006
IEEE
14 years 5 months ago
2006
IEEE
It is argued in this position paper that a workflow management system is potentially a powerful solution to bring more flexibility to the management of business processes. At the ...
WETICE
2006
IEEE
14 years 5 months ago
2006
IEEE
Debugging grid systems is complex, mainly because of the probe effect and non reproducible execution. The probe effect arises when an attempt to monitor a system changes the behav...
WETICE
2006
IEEE
14 years 5 months ago
2006
IEEE
In this paper we present a trust-oriented method that can be used when building P2P recommender systems. We discuss its benefits in comparison to centralized solutions, its requir...
WETICE
2006
IEEE
14 years 5 months ago
2006
IEEE
WETICE
2006
IEEE
14 years 5 months ago
2006
IEEE
The goal of the ProFlex workshop is to bring together practitioners and researchers from different communities who share an interest in flexibility of process-aware information s...
WETICE
2007
IEEE
14 years 5 months ago
2007
IEEE
Scientific simulations and experiments use sophisticated data formats to store and access their data. An example of such a format is the Hierarchical Data Format (HDF), commonly u...
WETICE
2007
IEEE
14 years 5 months ago
2007
IEEE
WETICE
2007
IEEE
14 years 5 months ago
2007
IEEE
A new application of tuple-space-based coordination systems is in knowledge communication and representation. This knowledge is being published on the Web (the so-called “Semant...
WETICE
2007
IEEE
14 years 5 months ago
2007
IEEE
The design and promotion of electronic patient summaries as an instrument to facilitate the pervasive delivery of healthcare is emerging as a key technology in eHealth solutions. ...