Sciweavers

1439 search results - page 263 / 288
» The Virtual Museum of Architecture
Sort
View
CL
2002
Springer
14 years 11 months ago
Behavioural typing for safe ambients
We introduce a typed variant of Safe Ambients, named Secure Safe Ambients (SSA), whose type system allows behavioral invariants of ambients to be expressed and verified. The most ...
Michele Bugliesi, Giuseppe Castagna
IJWGS
2007
118views more  IJWGS 2007»
14 years 11 months ago
Grid middleware in China
: Grids aim at constructing a virtual single image of heterogeneous resources and provide uniform interface for distributed internet applications. China also devotes much passion a...
Yongwei Wu, Chunming Hu, Li Zha, Song Wu
AUTOMATICA
1999
78views more  AUTOMATICA 1999»
14 years 11 months ago
On the speedup required for combined input- and output-queued switching
Architectures based on a non-blocking fabric, such as a crosspoint switch, are attractive for use in high-speed LAN switches, IP routers, and ATM switches. These fabrics, coupled ...
Balaji Prabhakar, Nick McKeown
PPL
2002
108views more  PPL 2002»
14 years 11 months ago
An Efficient Implementation of the BSP Programming Library for VIA
Virtual Interface Architecture(VIA) is a light-weight protocol for protected user-level zero-copy communication. In spite of the promised high performance of VIA, previous MPI imp...
Yang-Suk Kee, Soonhoi Ha
VLDB
2002
ACM
129views Database» more  VLDB 2002»
14 years 11 months ago
Optimizing View Queries in ROLEX to Support Navigable Result Trees
An increasing number of applications use XML data published from relational databases. For speed and convenience, such applications routinely cache this XML data locally and acces...
Philip Bohannon, Sumit Ganguly, Henry F. Korth, P....