2136 search results - page 377 / 428 » A Game-Theoretic Operational Semantics |
STTT
2008
15 years 1 months ago
2008
Abstract. This paper shows how a formal method in the form of Coloured Petri Nets (CPNs) and the supporting CPN Tools have been used in the development of the Course of Action Sche...
102
click to vote
JSW
2007
15 years 1 months ago
2007
— In this paper, we present our approach to describe and compose services for distant learning and research activities. For this purpose, we propose a metadata model for indexing...
121
click to vote
JSW
2007
15 years 1 months ago
2007
— BPEL (Business Process Execution Language) as a de-facto standard for web service orchestration has drawn particularly attention from researchers and industries. BPEL is a semi...
118
click to vote
COMCOM
2004
15 years 1 months ago
2004
With the advent of computational grids, networking performance over the wide-area network (WAN) has become a critical component in the grid infrastructure. Unfortunately, many hig...
161
click to vote
JODL
2000
15 years 1 months ago
2000
As experimental digital library testbeds gain wider acceptance and develop significant user bases, it becomes important to investigate the ways in which users interact with the sy...