5376 search results - page 832 / 1076 » Scalable Kernel Systems |
150
click to vote
ATAL
2005
Springer
16 years 6 days ago
2005
Springer
Multi-agent problem domains may require distributed algorithms for a variety of reasons: local sensors, limitations of communication, and availability of distributed computational...
175
click to vote
EGC
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Monitoring systems are nowadays ubiquitous in complex environments, such as Grids. Their use is fundamental for performance evaluation, problem spotting, advanced debuggi...
195
Voted
LPAR
2005
Springer
16 years 4 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 4 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’...
186
click to vote
PDCAT
2005
Springer
16 years 4 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...