276 search results - page 2 / 56 » Simulation of modular building construction |
CONEXT
2009
ACM
13 years 8 months ago
2009
ACM
Shipping-container-based data centers have been introduced as building blocks for constructing mega-data centers. However, it is a challenge on how to interconnect those container...
CONCUR
2004
Springer
14 years 26 days ago
2004
Springer
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavi...
ATAL
2003
Springer
14 years 21 days ago
2003
Springer
Peer-to-peer (P2P) technology has undergone rapid growth, producing new protocols and applications, many of which enjoy considerable commercial success and academic interest. Yet, ...
EDCC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The A3M project aimed to define basic building blocks of a middleware meeting both dependability and real-time requirements for a wide range of space systems and applicat...
ENTCS
2006
13 years 7 months ago
2006
In the domain of embedded software systems the increasing complexity of the functionality as well as the increase in variations caused by product lines requires a modular design p...