8446 search results - page 231 / 1690 » A Process Compensation Language |
164
click to vote
CAISE
2004
Springer
15 years 12 months ago
2004
Springer
We suggest to extend BPEL4WS with structured activities for multiple instantiation since this is a crucial feature of a business process modelling language. In particular, we propo...
156
click to vote
QSIC
2003
IEEE
15 years 12 months ago
2003
IEEE
The goal of this paper is to examine the Japanese experience with the software development process, the challenges they face and how formal engineering methods, in particular SOFL...
173
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
Graph processes are used in order to formalize the relation between global requirement specifications of multi-agent systems by means of message sequence charts, and implementatio...
150
click to vote
PDPTA
2004
15 years 8 months ago
2004
: With the resurgence of interest in distributed processing and programming of distributed systems, researchers are exploring methods and techniques for facilitating programming of...
202
click to vote
AIML
2000
15 years 8 months ago
2000
Notions of context for natural language interpretation are factored in terms of three processes: translation, entailment and attunement. The processes are linked by accessibility r...