37 search results - page 4 / 8 » mst 2008 |
91
Voted
MST
2008
15 years 6 days ago
2008
Abstract Threads as contained in a thread algebra are used for the modeling of sequential program behavior. A thread that may use a counter to control its execution is called a `on...
MSOM
2007
14 years 11 months ago
2007
111
Voted
MST
2008
15 years 6 days ago
2008
We study finite bisimulations of dynamical systems in Rn defined by Pfaffian maps. The pure existence of finite bisimulations for a more general class of o-minimal systems was show...
69
Voted
MST
2008
15 years 6 days ago
2008
Abstract The transformation protocol can allow two players to share an unconditionally secure secret key using a random deal of cards. A sufficient condition on the number of cards...
92
Voted
DIALM
2008
ACM
15 years 2 months ago
2008
ACM
If V is a set of n points in the unit square [0, 1]2 , and if R : V + is an assignment of positive real numbers (radii) to to those points, define a graph G(R) as follows: {v, w}...