Sciweavers

35 search results - page 4 / 7
» Component coordination: a telecommunication case study
Sort
View
IFM
2009
Springer
155views Formal Methods» more  IFM 2009»
13 years 5 months ago
Application of Graph Transformation in Verification of Dynamic Systems
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
Zarrin Langari, Richard J. Trefler
ICSE
1999
IEEE-ACM
13 years 11 months ago
Splitting the Organization and Integrating the Code: Conway's Law Revisited
It is widely acknowledged that coordination of large scale software development is an extremely difficult and persistent problem. Since the structure of the code mirrors the struc...
James D. Herbsleb, Rebecca E. Grinter
WSC
2007
13 years 9 months ago
Agent-based simulation for collaborative cranes
Most of the materials and components for a construction project are lifted by cranes. Much research has been done for path planning, motion control, and online navigation to reduc...
Cheng Zhang, Amin Hammad
GLOBECOM
2007
IEEE
14 years 1 months ago
LDPC-Coded MIMO Optical Communication Over the Atmospheric Turbulence Channel
: We describe a coded power-efficient transmission scheme based on repetition MIMO principle suitable for communication over the atmospheric turbulence channel, and determine its c...
Ivan B. Djordjevic, Stojan Denic, Jaime Anguita, B...
POLICY
2004
Springer
14 years 21 days ago
Policy Based Management for Internet Communities
Policy Based Management (PBM) is a research topic that has been driven by the tremendous complexity inherent in the administration and management of present-day networking and tel...
Kevin Chekov Feeney, David Lewis, Vincent P. Wade