CJ
2010
13 years 2 months ago
2010
This paper studies semantic efficiency measures for ambient intelligence. We follow an agent-based approach and investigate how large quantities of information can be efficiently ...
CJ
2010
13 years 2 months ago
2010
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
CJ
2010
13 years 2 months ago
2010
CJ
2010
13 years 2 months ago
2010
Complex systems researchers have looked to the Internet as a possible source of interesting emergent behaviour. Indeed, some high profile failures, and some low level phenomena, m...
CJ
2010
13 years 2 months ago
2010
CJ
2010
13 years 2 months ago
2010
CJ
2010
13 years 2 months ago
2010
Sensor networks face a number of challenges when deployed in unpredictable environments under dynamic, quickly changeable demands, and when shared by many partners, which is often...
CJ
2010
13 years 2 months ago
2010
Energy efficiency is increasingly important for future information and communication technologies (ICT), because the increased usage of ICT, together with increasing energy costs a...
CJ
2010
13 years 2 months ago
2010
Consistent with the divide-and-conquer approach to problem solving, a recursive result is presented in the domain of stochastic modelling that derives product-form solutions for t...