Sciweavers

2821 search results - page 159 / 565
» Tracing a single user
Sort
View
BPM
2008
Springer
185views Business» more  BPM 2008»
15 years 9 months ago
Applying Patterns during Business Process Modeling
Although the business process community has put a major emphasis on patterns, notably the famous workflow patterns, only limited support for using patterns in today's business...
Thomas Gschwind, Jana Koehler, Janette Wong
197
Voted
CONCURRENCY
2008
127views more  CONCURRENCY 2008»
15 years 7 months ago
gLite Job Provenance - a job-centric view
ct Job Provenance (JP) is a Grid service that keeps long-term trace on completed computations for further reference. It is a job-centric service, keeping records about job life cyc...
Ales Krenek, Jirí Sitera, Ludek Matyska, Fr...
ENTCS
2008
130views more  ENTCS 2008»
15 years 7 months ago
The SPARTA Pseudonym and Authorization System
This paper deals with privacy-preserving (pseudonymized) access to a service resource. In such a scenario, two opposite needs seem to emerge. On one side, the service provider may...
Giuseppe Bianchi, M. Bonola, Vincenzo Falletta, Fr...
ENTCS
2006
160views more  ENTCS 2006»
15 years 7 months ago
Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP
Monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role. MOP users can add their favorite or domain-spe...
Feng Chen, Marcelo d'Amorim, Grigore Rosu
184
Voted
BELL
2000
107views more  BELL 2000»
15 years 6 months ago
Automating software feature verification
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
Gerard J. Holzmann, Margaret H. Smith