Sciweavers

8555 search results - page 215 / 1711
» Property Based Coordination
Sort
View
SEAAI
1998
Springer
15 years 9 months ago
CAD modelling in multidisciplinary design domains
In a multidisciplinary design environment, such as the architecture, engineering and construction (AEC) domain, the various designers will have their own views, concepts and repre...
Michael A. Rosenman, John S. Gero
MCSS
2006
Springer
15 years 4 months ago
Global complete observability and output-to-state stability imply the existence of a globally convergent observer
In this paper we consider systems which are globally completly observable and output-to-state stable. The former property guarantees the existence of coordinates such that the dyna...
Alessandro Astolfi, Laurent Praly
POPL
2005
ACM
16 years 5 months ago
Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments
We introduce transactors, a fault-tolerant programming model for composing loosely-coupled distributed components running in an unreliable environment such as the internet into sy...
John Field, Carlos A. Varela
EDBT
2002
ACM
141views Database» more  EDBT 2002»
16 years 4 months ago
Efficient OLAP Query Processing in Distributed Data Warehouses
Abstract. The success of Internet applications has led to an explosive growth in the demand for bandwidth from ISPs. Managing an IP network requires collecting and analyzing networ...
Michael O. Akinde, Michael H. Böhlen, Theodor...
153
Voted
ICAC
2006
IEEE
15 years 10 months ago
Weatherman: Automated, Online and Predictive Thermal Mapping and Management for Data Centers
— Recent advances have demonstrated the potential benefits of coordinated management of thermal load in data centers, including reduced cooling costs and improved resistance to ...
Justin D. Moore, Jeffrey S. Chase, Parthasarathy R...