391 search results - page 16 / 79 » Compositionality for Probabilistic Automata |
138
click to vote
JALC
2006
15 years 3 months ago
2006
Automated Web Service Composition has gained a significant momentum in facilitating fast and efficient formation of business-to-business collaborations where an important objectiv...
146
click to vote
RTSS
2003
IEEE
15 years 8 months ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
111
Voted
ICALP
2010
Springer
15 years 8 months ago
2010
Springer
We give a quantitative sequential model for noninterference security with probability (but not demonic choice), and a novel refinement order that we prove to be the greatest compo...
164
Voted
LANMR
2004
15 years 4 months ago
2004
Hybrid probabilistic programs framework [5] is a variation of probabilistic annotated logic programming approach, which allows the user to explicitly encode the available knowledge...
121
click to vote
JUCS
2002
15 years 2 months ago
2002
: The problem about the synchronization of a finite deterministic automaton is not yet properly understood. The present paper investigates this and related problems within the gene...