1681 search results - page 235 / 337 » Formal Design of Distributed Control Systems with Lustre |
ICDCS
2003
IEEE
15 years 3 months ago
2003
IEEE
Mobile code carried by a mobile agent can automatically travel to several data sources in order to complete a designated program. Traditionally, most mobile agent systems [7][8][1...
104
click to vote
USENIX
2008
15 years 6 days ago
2008
This paper describes Mortar, a distributed stream processing platform for building very large queries across federated systems (enterprises, grids, datacenters, testbeds). Nodes i...
HPDC
1998
IEEE
15 years 2 months ago
1998
IEEE
One of the most difficult problems to be solved by metacomputing systems is to ensure strong authentication and authorization. The problem is complicated since the hosts involved ...
PLDI
2005
ACM
15 years 3 months ago
2005
ACM
We introduce a language and system that supports definition and composition of complex run-time security policies for Java applications. Our policies are comprised of two sorts o...
106
click to vote
HICSS
1999
IEEE
15 years 2 months ago
1999
IEEE
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not suffic...