405 search results - page 31 / 81 » Modelling dependencies of IT Infrastructure elements |
MMNS
2004
14 years 11 months ago
2004
Due to the significant development of network services in the past few years, their validation has become increasingly difficult. The advent of novel approaches to the issue of val...
HCI
2007
14 years 11 months ago
2007
The use of personal computers and Internet at home is becoming more and more common in some developing countries such as Mexico, where affordable prices and credit plans have contr...
110
click to vote
GIS
2008
ACM
14 years 10 months ago
2008
ACM
In this paper we study in-network query processing in disconnected mobile environments, where both ad-hoc communication and infrastructure communication are available. Depending o...
ENTCS
2000
14 years 9 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
CCGRID
2007
IEEE
15 years 4 months ago
2007
IEEE
The existence of good probabilistic models for the job arrival process and job characteristics is important for the improved understanding of grid systems and the prediction of th...