8266 search results - page 1315 / 1654 » Information About the Journal |
200
click to vote
COMPSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...
157
click to vote
CONEXT
2009
ACM
15 years 8 months ago
2009
ACM
Enterprise and data center networks consist of a large number of complex networked applications and services that depend upon each other. For this reason, they are difficult to ma...
221
click to vote
HUC
2010
Springer
15 years 8 months ago
2010
Springer
Long-term personal GPS data is useful for many UbiComp services such as traffic monitoring and environmental impact assessment. However, inference attacks on such traces can revea...
182
click to vote
HUC
2010
Springer
15 years 8 months ago
2010
Springer
Little treasures in nature often go unnoticed by visitors when roaming about in a national park. Ubiquitous technology with its less intrusive character may be apt to enhance this...
197
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
In the course of the recent complexification and sophistication of commercial computer games, the creation of competitive artificial players that are able to behave intelligentl...