27 search results - page 1 / 6 » Techniques for Validation and Controlled Execution of Proces... |
SECRYPT
2010
13 years 3 months ago
2010
EMISA
2010
Springer
13 years 3 days ago
2010
Springer
Abstract. When assessing the usability of BPM technologies enterprises have to rely on vendor promises or qualitative data rather than on empirical or experimental research. To add...
ICSM
2002
IEEE
13 years 10 months ago
2002
IEEE
During maintenance, systems are updated to correct faults, improve functionality, and adapt the software to changes in its execution environment. The typical softwareupdate proces...
IPPS
1998
IEEE
13 years 9 months ago
1998
IEEE
An effort to formalize the process of software pipelining loops with conditions is presented in this paper. A formal framework for scheduling such loops, based on representing set...
BMCBI
2008
13 years 5 months ago
2008
Background: Genome survey sequences (GSS) offer a preliminary global view of a genome since, unlike ESTs, they cover coding as well as non-coding DNA and include repetitive region...