2015 search results - page 349 / 403 » Hidden Software Capabilities |
119
click to vote
JUCS
2010
15 years 25 days ago
2010
: The advances and adoption of Trusted Computing and hardware assisted virtualisation technologies in standard PC platforms promise new approaches in building a robust virtualisati...
182
click to vote
NPC
2010
Springer
15 years 24 days ago
2010
Springer
Java is one of the most popular programming languages in today’s software development, but the adoption of Java in some areas like high performance computing, gaming, and media p...
115
Voted
SIMPAR
2010
15 years 24 days ago
2010
Abstract. Existing legged robots lack energy-efficiency, performance and adaptivity when confronted with situations that animals cope with on a routine basis. Bridging the gap bet...
111
click to vote
STTT
2010
15 years 23 days ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
132
Voted
ICMI
2010
Springer
15 years 11 days ago
2010
Springer
Multimodal interaction is becoming common in many kinds of devices, particularly mobile phones. If care is not taken in design and implementation, there may be latencies in the ti...