3463 search results - page 581 / 693 » Modeling and executing master-worker applications in compone... |
136
click to vote
ICICS
2003
Springer
15 years 10 months ago
2003
Springer
This paper presents a policy-based framework for managing access control in distributed heterogeneous systems. This framework is based on the PDP/PEP approach. The PDP (Policy Deci...
141
Voted
INFOCOM
2002
IEEE
15 years 10 months ago
2002
IEEE
— We measure and analyze the single-hop packet delay through operational routers in a backbone IP network. First we present our delay measurements through a single router. Then w...
137
click to vote
CSMR
2000
IEEE
15 years 10 months ago
2000
IEEE
In practice, a pure top-down and refinement-based development process is not applicable. A more iterative and incremental approach is usually applied with respect to changing req...
182
Voted
TPHOL
1998
IEEE
15 years 9 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
146
click to vote
NDSS
1997
IEEE
15 years 9 months ago
1997
IEEE
This paper presents a model of hierarchical organization of Certification Authorities which can be applied to any open system network. In order to study the feasibility of the pro...