2940 search results - page 146 / 588 » Relational Parametricity and Control |
131
click to vote
ESOP
2003
Springer
15 years 10 months ago
2003
Springer
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
134
click to vote
ICALP
2003
Springer
15 years 9 months ago
2003
Springer
µKlaim is a process language that permits programming distributed systems made up of several mobile components interacting through multiple distributed tuple spaces. We present th...
141
click to vote
ICC
1997
IEEE
15 years 8 months ago
1997
IEEE
: In this paper, a multiservice, local-area, wireless access ATM system is explored from a signaling protocol viewpoint. The signaling architecture considered here follows the sign...
146
click to vote
COOPIS
2004
IEEE
15 years 8 months ago
2004
IEEE
Abstract. We consider the use of a cluster system for managing autonomous databases. In order to improve the performance of read-only queries, we strive to exploit user requirement...
127
click to vote
GD
2006
Springer
15 years 8 months ago
2006
Springer
Node-link diagrams are widely used in information visualization to show relationships among data. However, when the size of data becomes very large, node-link diagrams will become ...