Sciweavers

7124 search results - page 1127 / 1425
» Programming Languages and Operating Systems
Sort
View
ICALP
2003
Springer
15 years 9 months ago
Secrecy in Untrusted Networks
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...
Michele Bugliesi, Silvia Crafa, Amela Prelic, Vlad...
IFIP
2003
Springer
15 years 9 months ago
On the Integration of MPEG-4 Streams Pulled Out of High Performance Mobile Devices and Data Traffic over a Wireless Network
In this work we propose and evaluate mechanisms for the multiplexing and the integrated delivery of Video and Data Traffic over a Wireless Cellular High Speed Packet Switched Netwo...
Spyros Psychis, Polychronis Koutsakis, Michael Pat...
IPPS
2002
IEEE
15 years 9 months ago
Compile/Run-Time Support for Thread Migration
This paper describes a generic mechanism to migrate threads in heterogeneous distributed environments. To maintain high portability and flexibility, thread migration is implement...
Hai Jiang, Vipin Chaudhary
IFL
2001
Springer
15 years 8 months ago
Sized Types for Typing Eden Skeletons
The parallel-functional language Eden extends Haskell with constructs to explicitly define and communicate processes. These extensions allow the easy definition of skeletons as h...
Ricardo Pena, Clara Segura
HCW
1998
IEEE
15 years 8 months ago
On the Interaction between Mobile Processes and Objects
Java's remote method invocation mechanism provides a number of features that extend the functionality of traditional client server-based distributed systems. However, there a...
Suresh Jagannathan, Richard Kelsey
« Prev « First page 1127 / 1425 Last » Next »