1753 search results - page 92 / 351 » State Machines |
165
click to vote
APCCM
2009
15 years 5 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...
130
click to vote
SRDS
2007
IEEE
15 years 10 months ago
2007
IEEE
Constructing logical machines out of collections of physical machines is a well-known technique for improving the robustness and fault tolerance of distributed systems. We present...
141
click to vote
CCECE
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper presents an automata-based approach for analyzing traces generated by the kernel of an operating system. We identified a list of typical patterns of problematic behavi...
142
click to vote
FOSSACS
2007
Springer
15 years 10 months ago
2007
Springer
A web service is modeled here as a finite state machine. A composition problem for web services is to decide if a given web service can be constructed from a given set of web serv...
158
click to vote
ICGI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Stochastic deterministic finite automata have been introduced and are used in a variety of settings. We report here a number of results concerning the learnability of th...