Sciweavers

339 search results - page 5 / 68
» Abstracting Interactions Based on Message Sets
Sort
View
METMBS
2003
165views Mathematics» more  METMBS 2003»
13 years 8 months ago
GeneBox: Interactive Visualization of Microarray Data Sets
Abstract Technological advancements are constantly increasing the size and complexity of data resulting from microarray experiments. This fact has led biologists to ask complex que...
Nameeta Shah, Vladimir Filkov, Bernd Hamann, Kenne...
BPM
2009
Springer
113views Business» more  BPM 2009»
14 years 1 months ago
Set Algebra for Service Behavior: Applications and Constructions
Abstract. Compatibility of behavior, i.e. the correct ordering of messages, is one of the core aspects for the interaction between services as parts of an inter-organizational busi...
Kathrin Kaschner, Karsten Wolf
ENTCS
2007
112views more  ENTCS 2007»
13 years 6 months ago
A Calculus of Global Interaction based on Session Types
This paper proposes a calculus for describing communication-centred programs and discusses its use through a formal description of several use cases from real business protocols. ...
Marco Carbone, Kohei Honda, Nobuko Yoshida
SERVICES
2008
130views more  SERVICES 2008»
13 years 8 months ago
Composition of Interactive Web Services Based on Controller Synthesis
an abstract form of service composition where Web services are represented as nondeterministic communicating automata. Considering the case in which communication is done via chan...
Philippe Balbiani, Fahima Cheikh, Guillaume Feuill...
SIGSOFT
2001
ACM
14 years 7 months ago
Detecting implied scenarios in message sequence chart specifications
Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification. Scenarios describe how system compo...
Jeff Kramer, Jeff Magee, Sebastián Uchitel