675 search results - page 67 / 135 » Evolution of a Software Component - Experiences with a Netwo... |
TPHOL
1998
IEEE
14 years 1 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...
CCS
2009
ACM
14 years 3 months ago
2009
ACM
Mandated requirements to share information across different sensitivity domains necessitate the design of distributed architectures to enforce information flow policies while pr...
APSEC
2007
IEEE
14 years 3 months ago
2007
IEEE
The coordination-policy that components interactions satisfied often determines the properties of nowadays component-based information systems, e.g. Safety, Liveness and Fairness ...
CBSE
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Predicting the performance of component-based applications is difficult due to the complexity of the underlying component technology. This problem is exacerbated when a m...
SRDS
1999
IEEE
14 years 1 months ago
1999
IEEE
Production of reliable and flexible distributed applications is a growing area of interest and research. Various middleware technologies are often used as the communication infras...