32 search results - page 6 / 7 » cj 2010 |
143
click to vote
CJ
2010
15 years 25 days 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...
121
Voted
CJ
2010
15 years 25 days 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...
146
Voted
CJ
2010
15 years 25 days 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...
144
Voted
CJ
2010
15 years 25 days ago
2010
A concurrent object is an object that can be concurrently accessed by several processes. Sequential consistency is a consistency criterion for such objects. Informally, it states ...
132
Voted
TSP
2010
14 years 10 months ago
2010
Physical (PHY) layer security approaches for wireless communications can prevent eavesdropping without upper layer data encryption. However, they are hampered by wireless channel c...