Sciweavers

925 search results - page 24 / 185
» Typing Component-Based Communication Systems
Sort
View
JSS
2008
83views more  JSS 2008»
13 years 9 months ago
XML-based agent communication, migration and computation in mobile agent systems
This article presents the research work that exploits using XML (Extensible Markup Language) to represent different types of information in mobile agent systems, including agent c...
Bo Chen, David D. Linz, Harry H. Cheng
LCR
2000
Springer
129views System Software» more  LCR 2000»
14 years 1 months ago
Run-Time Support for Distributed Sharing in Typed Languages
We present a new run-time system for typed programming languages that supports object sharing in a distributed system. The key insight in this system is that the ability to distin...
Y. Charlie Hu, Weimin Yu, Alan L. Cox, Dan S. Wall...
TCS
2008
13 years 9 months ago
Security types for dynamic web data
We describe a type system for the Xd calculus of Gardner and Maffeis. An Xd-network is a network of locations, where each location consists of both a data tree (which contains scr...
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, J...
CONCUR
2004
Springer
14 years 3 months ago
Type Based Discretionary Access Control
Abstract. Discretionary Access Control (DAC) systems provide powerful mechanisms for resource management based on the selective distribution of capabilities to selected classes of ...
Michele Bugliesi, Dario Colazzo, Silvia Crafa
ICASSP
2010
IEEE
13 years 10 months ago
Implementation of cooperative communications using software defined radios
—Cooperative communications leverages the spatial diversity available in a wireless network enabling multiple radio nodes work together to improve the overall system performance....
Michael Knox, Elza Erkip