391 search results - page 11 / 79 » Compositionality for Probabilistic Automata |
SCP
2010
13 years 7 months ago
2010
Several scienti c bottlenecks have been identi ed in existing component-based approaches. em, we focus on the identi cation of a relevant abstraction for the component expression ...
ICALP
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. This paper tackles three algorithmic problems for probabilistic automata on finite words: the Emptiness Problem, the Isolation Problem and the Value 1 Problem. The Empti...
ICWS
2007
IEEE
13 years 10 months ago
2007
IEEE
We study the problem of synthesis of a choreogrpher in Web service composition for a given set of services and a goal. Services and goal are represented using i/o automata which c...
ICTAI
2003
IEEE
2003
IEEE
Genetic Algorithm Calibration of Probabilistic Cellular Automata for Modeling Mining Permit Activity
14 years 1 months ago
We use a genetic algorithm to calibrate a spatially and temporally resolved cellular automata to model mining activity on public land in Idaho and western Montana. The genetic alg...
ENTCS
2006
13 years 8 months ago
2006
Anonymity means that the identity of the user performing a certain action is maintained secret. The protocols for ensuring anonymity often use random mechanisms which can be descr...