878 search results - page 36 / 176 » Interacting Abstract State Machines |
113
click to vote
APCCM
2009
14 years 11 months ago
2009
Interaction topologies in service-oriented systems are usually classified into two styles: choreographies and orchestrations. In a choreography, services interact in a peer-to-pee...
ICDT
2007
ACM
15 years 3 months ago
2007
ACM
We introduce a new abstract model of database query processing, finite cursor machines, that incorporates certain data streaming aspects. The model describes quite faithfully what...
JUCS
2008
14 years 9 months ago
2008
: A goal of software product lines is the economical assembly of programs in a family of programs. In this paper, we explore how theorems about program properties may be integrated...
MLMI
2004
Springer
15 years 3 months ago
2004
Springer
This paper investigates the automatic analysis and segmentation of meetings. A meeting is analysed in terms of individual behaviours and group interactions, in order to decompose e...
FDL
2004
IEEE
15 years 1 months ago
2004
IEEE
We present a rigorous but transparent semantics definition of SystemVerilog that covers processes with blocking and non-blocking statements as well as their interaction with the s...