8655 search results - page 506 / 1731 » Challenges for Trusted Computing |
145
click to vote
IJMSO
2010
15 years 3 months ago
2010
: Development and use of ontologies is increasing, but hampered by new challenges, such as determining which ontologies to reuse and which language to use. Ontology development met...
132
click to vote
IFM
2010
Springer
15 years 2 months ago
2010
Springer
Though program verification is known and has been used for decades, the verification of a complete computer system still remains a grand challenge. Part of this challenge is the in...
133
Voted
ESTIMEDIA
2009
Springer
15 years 2 months ago
2009
Springer
As single-processor systems are ceasing to scale effectively, multi-processor systems are becoming more and more popular. While there are many challenges of designing multi-process...
157
click to vote
FAC
2010
15 years 2 months ago
2010
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
167
click to vote
CNSM
2010
14 years 8 months ago
2010
— Managing networks and services in large virtual enterprises often requires significant expertise to decipher and reconcile information coming from several heterogeneous sources...