228 search results - page 34 / 46 » A Model-Checking Approach for Service Component Architecture... |
GECCO
2005
Springer
15 years 5 months ago
2005
Springer
As high-speed networks have proliferated across the globe, their topologies have become sparser due to the increased capacity of communication media and cost considerations. Relia...
SIGCOMM
2000
ACM
15 years 4 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...
IASTEDSE
2004
15 years 1 months ago
2004
Consumer devices have domain specific constraints imposed by end-users, device manufacturers and service providers. These constraints focus on the need for security and reliabilit...
101
click to vote
CBSE
2005
Springer
15 years 5 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...
104
click to vote
BIRTHDAY
2010
Springer
14 years 10 months ago
2010
Springer
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...