Sciweavers

1484 search results - page 65 / 297
» A Coordination Model for Interactive Components
Sort
View
PTS
2008
98views Hardware» more  PTS 2008»
15 years 17 days 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 5 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
99
Voted
ICC
2008
IEEE
165views Communications» more  ICC 2008»
15 years 5 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 15 days 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 3 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