1728 search results - page 134 / 346 » The Size of Power Automata |
186
Voted
COORDINATION
2007
Springer
16 years 1 months ago
2007
Springer
Connectors have emerged as a powerful concept for composition and coordination of concurrent activities encapsulated as components and services. Compositional coordination models a...
179
Voted
CONCUR
2005
Springer
16 years 16 days ago
2005
Springer
Starting from the opinion that the standard firing rule of Petri nets embodies the collective token interpretation of nets rather than their individual token interpretation, I pro...
173
click to vote
CONCUR
2004
Springer
16 years 11 days ago
2004
Springer
Netcharts have been introduced recently by Mukund et al. in [17]. This new appealing approach to the specification of collections of message sequence charts (MSCs) benefits from ...
231
Voted
PODS
2010
ACM
16 years 1 days ago
2010
ACM
For many problems arising in the setting of graph querying (such as finding semantic associations in RDF graphs, exact and approximate pattern matching, sequence alignment, etc.)...
188
click to vote
EUROMICRO
2009
IEEE
15 years 11 months ago
2009
IEEE
ProCom is a new component model for real-time and embedded systems, targeting the domains of vehicular and telecommunication systems. In this paper, we describe how the architectur...