8655 search results - page 156 / 1731 » Challenges for Trusted Computing |
156
click to vote
DEBU
2011
14 years 1 months ago
2011
The variable and intermittent nature of many renewable energy sources makes integrating them into the electric grid challenging and limits their penetration. The current grid requ...
101
Voted
SOFSEM
2012
Springer
13 years 5 months ago
2012
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
ICCS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from si...
ECIR
2008
Springer
14 years 11 months ago
2008
Springer
Although we see the positive results of information retrieval research embodied throughout the Internet, on our computer desktops, and in many other aspects of daily life, at the ...
JFR
2006
14 years 10 months ago
2006
The MITRE Meteor team fielded an autonomous vehicle that competed in DARPA's 2005 Grand Challenge race. This paper describes the team's approach to building its robotic ...