34181 search results - page 333 / 6837 » Computer system |
194
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...
190
click to vote
IEEESCC
2006
IEEE
16 years 1 months ago
2006
IEEE
The expanding gap between microprocessor and disk performance has initiated new techniques of providing memory as a service in high-end computing (HEC). Although the processor and...
239
click to vote
EUROPAR
2003
Springer
16 years 23 days ago
2003
Springer
Pervasive computing provides an attractive vision for the future of computing. Mobile computing devices such as mobile phones together with a land-based and wireless communication ...
190
click to vote
GI
2009
Springer
16 years 5 days ago
2009
Springer
: This paper illustrates the future role of mobile computing for the response in emergencies and mass casualty incidents (MCIs). Furthermore it describes the different components a...
151
click to vote
ACSAC
2006
IEEE
15 years 11 months ago
2006
IEEE
Signature-matching Intrusion Detection Systems can experience significant decreases in performance when the load on the IDS-host increases. We propose a solution that off-loads so...