2372 search results - page 256 / 475 » Probabilistic calling context |
PERCOM
2008
ACM
14 years 7 months ago
2008
ACM
This paper proposes a multiagent based virtual community as a new means to support pervasive computing services. We give a conceptual definition of the concept of Place-Based Virt...
ESSOS
2010
Springer
14 years 5 months ago
2010
Springer
Static security analysis of software has made great progress over the last years. In particular, this applies to the detection of lowlevel security bugs such as buffer overflows,...
FOSSACS
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. The resource calculus is an extension of the λ-calculus allowing to model resource consumption. Namely, the argument of a function comes as a finite multiset of resourc...
WETICE
2009
IEEE
14 years 3 months ago
2009
IEEE
— As cloud computing becomes increasingly pervasive, the data center energy consumption attributable to cloud computing is climbing, despite the clarion call of action to reduce ...
ALDT
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Argumentation has been acknowledged as a powerful mechanism for automated decision making. In this context several recent works have studied the problem of accommodating ...