1833 search results - page 290 / 367 » Mechanized Verification with Sharing |
137
click to vote
COBUILD
1998
Springer
1998
Springer
Roomware for Cooperative Buildings: Integrated Design of Architectural Spaces and Information Spaces
15 years 8 months ago
In this paper, we introduce the concepts of "cooperative buildings" and "roomware" and place them in the context of the integrated design of real, physical, res...
136
Voted
EP
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Multimedia style sheet systems uniformly use a constraintbased model of layout. Constraints provide a uniform mechanism for all aspects of style management and layout and...
101
click to vote
WADT
1998
Springer
15 years 8 months ago
1998
Springer
We propose a definition of hierarchical heterogeneous formal specifications, where each module is specified according to its own homogeneous logic. We focus on the specification st...
143
click to vote
LCN
1996
IEEE
15 years 8 months ago
1996
IEEE
ATM (asynchronous transfer mode) aims at providing both guaranteed bandwidth to support real-time communications and dynamic bandwidth sharing to accommodate bursty data traffic. ...
144
click to vote
ICSE
2010
IEEE-ACM
15 years 8 months ago
2010
IEEE-ACM
Service-oriented architecture (SOA) is becoming a major software framework for building complex distributed systems. Reliability of the service-oriented systems heavily depends on...