Sciweavers

4356 search results - page 583 / 872
» Communicating Transactions - (Extended Abstract)
Sort
View
ESORICS
2005
Springer
16 years 7 days ago
On Scalability and Modularisation in the Modelling of Network Security Systems
Abstract. As the use of computers and data communication technologies spreads, network security systems are becoming increasingly complex, due to the incorporation of a variety of ...
João Porto de Albuquerque, Heiko Krumm, Pau...
EURONGI
2005
Springer
16 years 7 days ago
The State of the Art in Cross-Layer Design for Wireless Sensor Networks
Abstract. The literature on cross-layer protocols, protocol improvements, and design methodologies for wireless sensor networks (WSNs) is reviewed and a taxonomy is proposed. The c...
Tommaso Melodia, Mehmet C. Vuran, Dario Pompili
EWSA
2005
Springer
16 years 7 days ago
The Decision View of Software Architecture
Abstract. Documenting software architectures is a key aspect to achieve success when communicating the architecture to different stakeholders. Several architectural views have been...
Juan C. Dueñas, Rafael Capilla
FMCO
2005
Springer
173views Formal Methods» more  FMCO 2005»
16 years 6 days ago
Cluster-Based LTL Model Checking of Large Systems
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
Jiri Barnat, Lubos Brim, Ivana Cerná
HIPC
2005
Springer
16 years 6 days ago
Cost-Optimal Job Allocation Schemes for Bandwidth-Constrained Distributed Computing Systems
Abstract. This paper formulates the job allocation problem in distributed systems with bandwidth-constrained nodes. The bandwidth limitations of the nodes play an important role in...
Preetam Ghosh, Kalyan Basu, Sajal K. Das