Sciweavers

554 search results - page 47 / 111
» Communicating Structures for Modeling Large-scale Systems
Sort
View
ENTCS
2007
100views more  ENTCS 2007»
14 years 11 months ago
Extensionality of Spatial Observations in Distributed Systems
We discuss the tensions between intensionality and extensionality of spatial observations in distributed systems, showing that there are natural models where extensional observati...
Luís Caires, Hugo Torres Vieira
ECMDAFA
2010
Springer
138views Hardware» more  ECMDAFA 2010»
14 years 9 months ago
A UML 2.0 Profile to Model Block Cipher Algorithms
Abstract. Current mobile digital communication systems must implement rigorous operations to guarantee high levels of confidentiality and integrity during transmission of critical ...
Tomás Balderas-Contreras, Gustavo Rodr&iacu...
CDC
2008
IEEE
147views Control Systems» more  CDC 2008»
15 years 1 months ago
Synchronization in networks of identical linear systems
The paper investigates the synchronization of a network of identical linear state-space models under a possibly time-varying and directed interconnection structure. The main resul...
Luca Scardovi, Rodolphe Sepulchre
VTC
2010
IEEE
415views Communications» more  VTC 2010»
14 years 10 months ago
System Level Simulation of LTE Networks
—In order to evaluate the performance of new mobile network technologies, system level simulations are crucial. They aim at determining whether, and at which level predicted link...
Josep Colom Ikuno, Martin Wrulich, Markus Rupp
ICPPW
2002
IEEE
15 years 4 months ago
SNOW: Software Systems for Process Migration in High-Performance, Heterogeneous Distributed Environments
This paper reports our experiences on the Scalable Network Of Workstation (SNOW) project, which implements a novel methodology to support user-level process migration for traditio...
Kasidit Chanchio, Xian-He Sun