Sciweavers

2940 search results - page 161 / 588
» Behavioral Constraints for Services
Sort
View
AINA
2004
IEEE
15 years 9 months ago
A Mathematical Model for Analyzing the Proxy Bidding Method for Mobile Agent-Based Auction Services
This paper presents an auction system based on mobile agents. By using a proxy server, a user can generate a mobile auction agent by giving the bidding information, including the ...
Jie Zhang, Henry C. B. Chan
ICFEM
1998
Springer
15 years 9 months ago
Formal Specification of CORBA Services Using Object-Z
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...
Detlef Kreuz
MAGS
2010
116views more  MAGS 2010»
15 years 4 months ago
Comparing goal-oriented and procedural service orchestration
Goals form a declarative description of the desired end result of (part of) an orchestration. A goal-oriented orchestration language is an orchestration language in which these goa...
M. Birna van Riemsdijk, Martin Wirsing
IAT
2003
IEEE
15 years 11 months ago
Agent-based decision support for actual-world procurement scenarios
Multi-item, multi-unit negotiations in industrial procurement pose serious challenges to buying agents when trying to determine the best set of providering agents’ offers. Typic...
Juan A. Rodríguez-Aguilar, Andrea Giovannuc...
ICDE
2007
IEEE
131views Database» more  ICDE 2007»
16 years 11 days ago
Enhancing Secured Service Interoperability with Decentralized Orchestration
Several current research efforts in business process modeling are investigating XML-based executable formal specification languages. The availability of the latter allows modeled...
Ustun Yildiz, Claude Godart