-
3
-
-
84888684562
-
-
Bank for International Settlements, central bank survey of foreign exchange and derivatives market activity
-
Bank for International Settlements. Triennial central bank survey of foreign exchange and derivatives market activity, http://www.bis.org/triennial. htm.
-
Triennial
-
-
-
4
-
-
34247185859
-
Contextualizing commitment protocols
-
A. K. Chopra and M. P. Singh. Contextualizing commitment protocols. In AAMAS, pages 1345-1352, 2006.
-
(2006)
AAMAS
, pp. 1345-1352
-
-
Chopra, A.K.1
Singh, M.P.2
-
5
-
-
85011114494
-
CTR-S: A logic for specifying contracts in semantic web services
-
H. Davulcu, M. Kifer, and I. V. Ramakrishnan. CTR-S: a logic for specifying contracts in semantic web services. In WWW Alt. Track Papers & Posters, pages 144-153, 2004.
-
(2004)
, pp. 144-153
-
-
Davulcu, H.1
Kifer, M.2
Ramakrishnan, I.V.3
-
6
-
-
35248852413
-
Representing and reasoning about commitments in business processes
-
N. Desai, A. K. Chopra, and M. P. Singh. Representing and reasoning about commitments in business processes. In AAAI, 2007.
-
(2007)
AAAI
-
-
Desai, N.1
Chopra, A.K.2
Singh, M.P.3
-
7
-
-
33745865103
-
Interaction protocols as design abstractions for business processes
-
N. Desai, A. U. Mallya, A. K. Chopra, and M. P. Singh. Interaction protocols as design abstractions for business processes. IEEE Trans. Soft. Engg., 31(12):1015-1027, 2005.
-
(2005)
IEEE Trans. Soft. Engg
, vol.31
, Issue.12
, pp. 1015-1027
-
-
Desai, N.1
Mallya, A.U.2
Chopra, A.K.3
Singh, M.P.4
-
8
-
-
35248825934
-
A modular action description language for protocol composition
-
N. Desai and M. P. Singh. A modular action description language for protocol composition. In AAAI, 2007.
-
(2007)
AAAI
-
-
Desai, N.1
Singh, M.P.2
-
10
-
-
9544247758
-
Conversation protocols: A formalism for specification and verification of reactive electronic services
-
X. Fu, T. Bultan, and J. Su. Conversation protocols: A formalism for specification and verification of reactive electronic services. Theoret. Comp. ScL, 328(1-2):19-37, 2004.
-
(2004)
Theoret. Comp. ScL
, vol.328
, Issue.1-2
, pp. 19-37
-
-
Fu, X.1
Bultan, T.2
Su, J.3
-
11
-
-
1642484543
-
Nonmonotonic causal theories
-
E. Giunchiglia, J. Lee, V. Lifschitz, N. McCain, and H. Turner. Nonmonotonic causal theories. Artificial Intelligence, 153(1-2):49-104, 2004.
-
(2004)
Artificial Intelligence
, vol.153
, Issue.1-2
, pp. 49-104
-
-
Giunchiglia, E.1
Lee, J.2
Lifschitz, V.3
McCain, N.4
Turner, H.5
-
12
-
-
84888737739
-
-
International Swaps and Derivatives Association ISDA
-
International Swaps and Derivatives Association (ISDA). FpML 4.1 recommendation, http://tinyurl.com/3yle3u.
-
FpML 4.1 recommendation
-
-
-
13
-
-
24644473613
-
-
N. Kavantzas, D. Burdett, G. Ritzinger, T. Fletcher, and Y. Lafon. Web services choreography description language 1.0 (w3c recommendation), 2005. http://www.w3.org/TR/ws-cdl-10.
-
(2005)
Web services choreography description language 1.0 (w3c recommendation)
-
-
Kavantzas, N.1
Burdett, D.2
Ritzinger, G.3
Fletcher, T.4
Lafon, Y.5
-
14
-
-
35248901401
-
Static verification of control and data in web service compositions
-
R. Kazhamiakin and M. Pistore. Static verification of control and data in web service compositions. In ICWS, pages 83-90, 2006.
-
(2006)
ICWS
, pp. 83-90
-
-
Kazhamiakin, R.1
Pistore, M.2
-
16
-
-
0032675444
-
An ontology for commitments in multiagent systems: Toward a unification of normative concepts
-
M. R Singh. An ontology for commitments in multiagent systems: Toward a unification of normative concepts. Artificial Intelligence and Law, 7:97-113, 1999.
-
(1999)
Artificial Intelligence and Law
, vol.7
, pp. 97-113
-
-
Singh, M.R.1
-
17
-
-
14544274183
-
Protocols for processes: Programming in the large for open systems
-
M. R Singh, A. K. Chopra, N. Desai, and A. U. Mallya. Protocols for processes: programming in the large for open systems. ACM SIGPLANNotices, 39(12):73-83, 2004.
-
(2004)
ACM SIGPLANNotices
, vol.39
, Issue.12
, pp. 73-83
-
-
Singh, M.R.1
Chopra, A.K.2
Desai, N.3
Mallya, A.U.4
-
18
-
-
35248865719
-
-
at Austin. The causal calculator CCALC
-
Texas Action Group at Austin. The causal calculator CCALC. http://www.cs.utexas.edu/users/tag/cc/.
-
Texas Action Group
-
-
-
19
-
-
84888683100
-
-
Transaction Workflow Innovation Standards Team TWIST, trade lifecycle
-
Transaction Workflow Innovation Standards Team (TWIST). TWIST wholesale trade lifecycle. http://tinyurl.com/yswnqq.
-
TWIST wholesale
-
-
-
20
-
-
84888687345
-
-
Wikipedia
-
Wikipedia. Foreign exchange markets. http://en.wikipedia.org/wiki/ Foreign_exchange_market.
-
Foreign exchange markets
-
-
-
21
-
-
56249091024
-
Implementing commitment-based interaction
-
M. Winikoff. Implementing commitment-based interaction. In AAMAS, 2007.
-
(2007)
AAMAS
-
-
Winikoff, M.1
-
22
-
-
84888740415
-
Enacting protocols by commitment concession
-
R Yolum and M. R Singh. Enacting protocols by commitment concession. In AAMAS, 2007.
-
(2007)
AAMAS
-
-
Yolum, R.1
Singh, M.R.2
-
23
-
-
35248894799
-
Service interaction modeling: Bridging global and local views
-
J. M. Zaha, M. Dumas, A. ter Hofstede, A. Barros, and G. Decker. Service interaction modeling: Bridging global and local views. In EDOC, pages 45-55, 2006.
-
(2006)
EDOC
, pp. 45-55
-
-
Zaha, J.M.1
Dumas, M.2
ter Hofstede, A.3
Barros, A.4
Decker, G.5
|