Sciweavers

4255 search results - page 314 / 851
» Cover
Sort
View
AMOST
2005
ACM
16 years 8 days ago
Modeling requirements for combinatorial software testing
The combinatorial approach to software testing uses models to generate a minimal number of test inputs so that selected combinations of input values are covered. The most common c...
Christopher M. Lott, Ashish Jain, Siddhartha R. Da...
AOSD
2005
ACM
16 years 8 days ago
Towards a catalog of aspect-oriented refactorings
In this paper, we present a collection of aspect-oriented refactorings covering both the extraction of aspects from objectoriented legacy code and the subsequent tidying up of the...
Miguel P. Monteiro, João M. Fernandes
MMSEC
2005
ACM
274views Multimedia» more  MMSEC 2005»
16 years 8 days ago
LSB steganalysis based on high-order statistics
We propose a general framework for the detection of the LSB steganography using digital media files as cover objects. The new framework exploits high-order statistics of the samp...
Sorina Dumitrescu, Xiaolin Wu
BPM
2005
Springer
173views Business» more  BPM 2005»
16 years 8 days ago
Semi-automatic Generation of Web Services and BPEL Processes - A Model-Driven Approach
With the advent of Web services and orchestration specifications like BPEL it is possible to define workflows on an Internet-scale. In the health-care domain highly structured and ...
Rainer Anzböck, Schahram Dustdar
BPM
2005
Springer
129views Business» more  BPM 2005»
16 years 8 days ago
Transforming BPEL to Petri Nets
We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional...
Sebastian Hinz, Karsten Schmidt 0004, Christian St...