4809 search results - page 753 / 962 » Scalable Analysis of Scalable Systems |
195
Voted
LPAR
2005
Springer
16 years 3 days ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
177
click to vote
MDM
2005
Springer
16 years 3 days ago
2005
Springer
Mobile terminals (cellular phones, PDAs, palmtops etc.) emerge as a new class of small-scale, ad-hoc service providers that share data and functionality via mobile web services’...
185
click to vote
PDCAT
2005
Springer
16 years 3 days ago
2005
Springer
In this paper security requirements and security architecture for 4G systems are presented with the consideration of Trusted Computing (TC) for mobile equipment (ME). The security...
149
click to vote
TACAS
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
193
click to vote
IMC
2004
ACM
16 years 1 days ago
2004
ACM
In this paper, we propose a model for representing and predicting distances in large-scale networks by matrix factorization. The model is useful for network distance sensitive app...