7557 search results - page 490 / 1512 » Modeling Timed Concurrent Systems |
168
click to vote
SODA
2004
ACM
15 years 8 months ago
2004
ACM
We study the mixing time of the Glauber dynamics for general spin systems on bounded-degree trees, including the Ising model, the hard-core model (independent sets) and the antife...
150
click to vote
HICSS
2005
IEEE
16 years 16 days ago
2005
IEEE
Web services offer a number of valuable features towards supporting the development of open distributed systems, built out of the composition of autonomous services. Nonetheless, ...
173
click to vote
HAPTICS
2003
IEEE
16 years 6 days ago
2003
IEEE
Machine-mediated training of dynamic task completion is typically implemented with passive intervention via virtual fixtures or active assist by means of record and replay strateg...
195
click to vote
POPL
1998
ACM
15 years 11 months ago
1998
ACM
Previously, we developed a type system to ensure secure information flow in a sequential, imperative programming language [VSI96]. Program variables are classified as either hig...
201
click to vote
QEST
2010
IEEE
15 years 4 months ago
2010
IEEE
We study Timed Branching Processes (TBPs), a natural extension of (multitype) Branching Processes (BPs) where each entity is equipped with a finite set of private continuous variab...