348 search results - page 66 / 70 » Formalizing WSBPEL Business Processes Using Process Algebra |
152
click to vote
WECWIS
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper studies adaptive bilateral negotiation between software agents in e-commerce environments. Specifically, we assume that the agents are self-interested, the environment...
138
click to vote
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical ente...
150
Voted
TACS
1994
Springer
15 years 9 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
130
Voted
WECWIS
2005
IEEE
15 years 10 months ago
2005
IEEE
Web Service protocol standards should be unambiguous and provide a complete description of the allowed behavior of the protocols’ participants. Implementation of such protocols ...
148
click to vote
KES
2009
Springer
15 years 9 months ago
2009
Springer
: With the increase in the amount and complexity of information, data warehouse performance has become a constant issue, especially for decision support systems. As decisional expe...