Sciweavers

4543 search results - page 131 / 909
» Interactive Distributed Configuration
Sort
View
CONCUR
2009
Springer
15 years 4 months ago
On Convergence of Concurrent Systems under Regular Interactions
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...
Pavithra Prabhakar, Sayan Mitra, Mahesh Viswanatha...
ICS
2010
Tsinghua U.
16 years 3 months ago
Interactive Proofs For Quantum Computations
Dorit Aharonov, Michael Ben-Or, Elad Eban
EDOC
2005
IEEE
16 years 1 days ago
A Method for Specifying Contract Mediated Interactions
Carlos Molina-Jiménez, Santosh K. Shrivasta...
MIDDLEWARE
2004
Springer
15 years 11 months ago
IQ-services: network-aware middleware for interactive large-data applications
Zhongtang Cai, Greg Eisenhauer, Qi He, Vibhore Kum...
LEGE
2004
171views Education» more  LEGE 2004»
15 years 7 months ago
The Model of Collaborative Learning GRID to activate interactivity for Knowledge Building
The purpose of this study is to support the learning activity in the Internet learning space. In this paper, we examine the GRID technology as the knowledge management for support...
Toshio Okamoto, Mizue Kayama