290 search results - page 55 / 58 » Using Formal Analysis Techniques in Business Process Redesig... |
WSC
1997
13 years 8 months ago
1997
This tutorial introduces the MODSIM III language, showing how its simulation "world view" together with its object-oriented architecture and built in graphics contribute...
SEKE
2010
Springer
13 years 5 months ago
2010
Springer
Given the bytecode of a software system, is it possible to automatically generate attack signatures that reveal its vulnerabilities? A natural solution would be symbolically execu...
VSTTE
2005
Springer
14 years 5 days ago
2005
Springer
In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without programming knowledge to reliably model their busines...
KCAP
2011
ACM
12 years 9 months ago
2011
ACM
Gold standard mappings created by experts are at the core of alignment evaluation. At the same time, the process of manual evaluation is rarely discussed. While the practice of ha...
HPCA
2005
IEEE
14 years 7 months ago
2005
IEEE
Dynamic voltage and frequency scaling (DVFS) is a widely-used method for energy-efficient computing. In this paper, we present a new intra-task online DVFS scheme for multiple clo...