2957 search results - page 123 / 592 » Processing Self Corrections |
APSEC
2004
IEEE
14 years 27 days ago
2004
IEEE
To formalize a software process, its important aspects must be extracted as a model. Many processes are used repeatedly, and the ability to automate a process is also desired. One...
VVEIS
2007
13 years 10 months ago
2007
Logic programming has been successfully used for reasoning about various kinds of models. However, in the area of business-process modeling it has not yet gained the attention it d...
DATE
2006
IEEE
14 years 3 months ago
2006
IEEE
We present a coverage metric which evaluates the testing of a set of interacting concurrent processes. Existing behavioral coverage metrics focus almost exclusively on the testing...
SNPD
2003
13 years 10 months ago
2003
Specific requirements of stream processing on the Grid are discussed. We argue that when the stream processing paradigm is used for cluster computing, the processing components c...
ICASSP
2011
IEEE
13 years 26 days ago
2011
IEEE
This paper introduces a discriminative extension to whole-word point process modeling techniques. Meant to circumvent the strong independence assumptions of their generative prede...