2594 search results - page 340 / 519 » Stabilization of Systems with Changing Dynamics |
122
click to vote
CONCUR
2004
Springer
15 years 8 months ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
125
click to vote
IRMA
2000
15 years 4 months ago
2000
We have designed, implemented, and deployed a camera control system and a conference controller that provide remote control capabilities for videoconferencing over the Internet. T...
125
Voted
IJCAI
1989
15 years 4 months ago
1989
Perturbation analysis deals with the relation ships between small changes in a system's inputs or model and changes in its outputs. Reverse simulation is of particular inte...
127
Voted
LICS
2000
IEEE
15 years 7 months ago
2000
IEEE
We provide a general method for ameliorating state explosion via symmetry reduction in certain asymmetric systems, such as systems with many similar, but not identical, processes....
110
Voted
WWW
2003
ACM
16 years 4 months ago
2003
ACM
In this paper we propose a multicast-on-large-demand (MOLD) approach to the flash crowd problem. A MOLD Web server may dynamically open a multicast channel for resources when dete...