233 search results - page 8 / 47 » Abstraction-Carrying Code: a Model for Mobile Code Safety |
ASIAN
1999
Springer
13 years 11 months ago
1999
Springer
ASE
2008
13 years 7 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
ISCAPDCS
2001
13 years 8 months ago
2001
Reliable communication in injured hypercubes with faulty links/nodes using directed safety levels is studied in this paper. In this approach, each node u in an n-dimensional hyper...
ENTCS
2006
13 years 7 months ago
2006
The project Safe Pointers by Graph Transformation at the University of York has developed a method for specifying the shape of pointer-data structures by graph reduction, and a st...
IWUC
2004
13 years 8 months ago
2004
Abstract. This study proposes a methodology that allows the flexible and maintainable development of application based on mobile agent to a ubiquitous environment. Ubiquitous envir...