Sciweavers

20126 search results - page 143 / 4026
» Timed Transition Systems
Sort
View
CSFW
2007
IEEE
15 years 9 months ago
Compositional Security for Task-PIOAs
Task-PIOA is a modeling framework for distributed systems with both probabilistic and nondeterministic behaviors. It is suitable for cryptographic applications because its task-bas...
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nan...
134
Voted
COMPLEX
2009
Springer
15 years 7 months ago
Capturing Internet Traffic Dynamics through Graph Distances
Studies of the Internet have typically focused either on the routing system, i.e. the paths chosen to reach a given destination, or on the evolution of traffic on a physical link. ...
Steve Uhlig, Bingjie Fu, Almerima Jamakovic
205
Voted
CORR
2010
Springer
175views Education» more  CORR 2010»
14 years 10 months ago
On the Combinatorial Multi-Armed Bandit Problem with Markovian Rewards
We consider a combinatorial generalization of the classical multi-armed bandit problem that is defined as follows. There is a given bipartite graph of M users and N M resources. F...
Yi Gai, Bhaskar Krishnamachari, Mingyan Liu
110
Voted
CDC
2008
IEEE
156views Control Systems» more  CDC 2008»
15 years 10 months ago
Diagnosability of hybrid automata with measurement uncertainty
— We propose a diagnosability notion that depends on two parameters denoted as (δd, δm) for the general class of transition systems where the observable output is given by disc...
Maria Domenica Di Benedetto, Stefano Di Gennaro, A...
237
Voted
OTM
2005
Springer
15 years 9 months ago
A Framework Supporting Dynamic Workflow Interoperation
In this paper, we propose a framework supporting dynamic interoperation between heterogeneous workflow systems and workflow-based dynamic Enterprise Application Integration (EAI)....
Jaeyong Shim, Myungjae Kwak, Dongsoo Han