Sciweavers

1484 search results - page 65 / 297
» A Coordination Model for Interactive Components
Sort
View
PTS
2008
98views Hardware» more  PTS 2008»
15 years 5 months ago
Modular System Verification by Inference, Testing and Reachability Analysis
Verification of a modular system composed of communicating components is a difficult problem, especially when the models of the components are not available. Conventional testing t...
Roland Groz, Keqin Li 0002, Alexandre Petrenko, Mu...
FOCS
2009
IEEE
15 years 11 months ago
Convergence to Equilibrium in Local Interaction Games
— We study a simple game theoretic model for the spread of an innovation in a network. The diffusion of the innovation is modeled as the dynamics of a coordination game in which ...
Andrea Montanari, Amin Saberi
ICC
2008
IEEE
165views Communications» more  ICC 2008»
15 years 10 months ago
Analysis of Symbol Error Rates for Signal Space Diversity in Rayleigh Fading Channels
— A signal space diversity (SSD) scheme is one of techniques to achieve diversity gain in fading channels. This method consists of two key operations: constellation rotation and ...
Jihoon Kim, Inkyu Lee
ISPE
2003
15 years 5 months ago
Task-oriented engineering of coordinated software systems
ABSTRACT: In the context of Internet-based applications where heterogeneous, legacy entities should integrate and cooperate, the efficiency of the software production process is a ...
Enrico Denti, Andrea Omicini, Alessandro Ricci
CSFW
1999
IEEE
15 years 8 months ago
Secure Composition of Insecure Components
Software systems are becoming heterogeneous: instead of a small number of large programs from well-established sources, a user's desktop may now consist of many smaller compo...
Peter Sewell, Jan Vitek