WETICE
2006
IEEE
14 years 8 days 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 8 days 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 8 days 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 8 days 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 8 days ago
2006
IEEE
WETICE
2006
IEEE
14 years 8 days 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 16 days 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 16 days ago
2007
IEEE
WETICE
2007
IEEE
14 years 16 days 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 16 days 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. ...