635 search results - page 117 / 127 » Towards the formalization of interaction semantics |
104
click to vote
ATAL
2010
Springer
15 years 22 days ago
2010
Springer
Service-oriented systems are becoming more and more nodes in a digital, dynamic ecosystem requiring the identification and establishment of flexible, spontaneous collaboration act...
107
click to vote
CBSE
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...
132
click to vote
CONCUR
2003
Springer
15 years 4 months ago
2003
Springer
We present a process-algebraic language for Probabilistic I/O Automata (PIOA). To ensure that PIOA specifications given in our language satisfy the “input-enabled” property, w...
85
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
This paper examines the relationship between gestures' function and form in design collaboration. It adopts a cognitive design research viewpoint. The analysis is restricted t...
79
Voted
JUCS
2006
14 years 11 months ago
2006
Abstract: UML may be used to describe both the structure and behavior of objectoriented systems using a combination of notations. For the modeling of the dynamic behavior, a number...