354 search results - page 32 / 71 » A Technique and Markup Language for Business Process Automat... |
CAISE
1999
Springer
15 years 1 months ago
1999
Springer
The support of process enactment through the use of workflow management systems has gained considerable attention within the last few years. We develop a classification framework c...
ISSTA
2006
ACM
15 years 3 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
IJCNLP
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper proposes the use of Latent Semantic Indexing (LSI) techniques, decomposed with semi-discrete matrix decomposition (SDD) method, for text categorization. The SD...
111
click to vote
WECWIS
2002
IEEE
15 years 2 months ago
2002
IEEE
Exploring an appropriate business application published as a Web Service in the UDDI registry is a critical issue. Search for such an application should be effective in terms of t...
DOCENG
2007
ACM
15 years 1 months ago
2007
ACM
Variable Data Printing (VDP) has brought new flexibility and dynamism to the printed page. Each printed instance of a specific class of document can now have different degrees of ...