1800 search results - page 294 / 360 » A component model for internet-scale applications |
CSMR
2000
IEEE
15 years 4 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...
109
click to vote
TPHOL
1998
IEEE
15 years 4 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...
NDSS
1997
IEEE
15 years 4 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...
HT
1996
ACM
15 years 4 months ago
1996
ACM
This paper presents a taxonomy for open hypermedia systems. The purpose of the Flag1 taxonomy is manifold: 1 to provide a framework to classify and concisely describe individual s...
147
click to vote
GPC
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Large-scale distributed computing applications require concurrent programming models that support modular and compositional software development. The actor model supports...