4166 search results - page 229 / 834 » Automating the constraining process |
135
Voted
ICAC
2009
IEEE
15 years 10 months ago
2009
IEEE
—The performance of BPEL processes depends on the composing web services. Monitoring web service performance and adapting to changes in service performance are essential for crea...
122
click to vote
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
— Knowledge processing is an essential technique for enabling autonomous robots to do the right thing to the right object in the right way. Using knowledge processing the robots ...
139
Voted
CSL
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. One-counter processes are pushdown processes over a singleton stack alphabet (plus a stack-bottom symbol). We study the problems of model checking asynchronous products o...
149
click to vote
BPM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that we...
117
click to vote
ACMICEC
2004
ACM
15 years 9 months ago
2004
ACM
Many companies have found out the hard way that successful ecommerce requires more than a flashy web presence. Existing business processes must be seamlessly integrated with the n...