2838 search results - page 233 / 568 » Verifying Controlled Components |
107
click to vote
FROCOS
2005
Springer
15 years 6 months ago
2005
Springer
In a previous paper, we have introduced a general approach for connecting two many-sorted theories through connection functions that behave like homomorphisms on the shared signatu...
98
Voted
ICCS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The unpredictable run-time configurations of dynamic, datadriven application systems require flexible simulation components that can adapt to changes in the number of i...
104
Voted
GRID
2003
Springer
15 years 6 months ago
2003
Springer
Typical Grid computing scenarios involve many distributed hardware and software components. The more components that are involved, the more likely it is that one of them may fail....
SIGCOMM
2000
ACM
15 years 5 months ago
2000
ACM
This paper proposes GIA, a scalable architecture for global IPanycast. Existing designs for providing IP-anycast must either globally distribute routes to individual anycast group...
ESEC
1997
Springer
15 years 5 months ago
1997
Springer
The decomposition of a software application into components and connectors at the design stage has been promoted as a way to describe and reason about complex software architecture...