160 search results - page 29 / 32 » Key Attestation from Trusted Execution Environments |
BPM
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. With increased sophistication and standardization of modeling languages and execution platforms supporting business process management (BPM) across traditional boundaries...
CASES
2007
ACM
14 years 13 days ago
2007
ACM
Many MPSoC applications are loop-intensive and amenable to automatic parallelization with suitable compiler support. One of the key components of any compiler-parallelized code is...
CCE
2007
13 years 10 months ago
2007
: This paper describes concepts for using contextual information in an advanced service environment for the support of mobile maintenance processes. We focus on spatio-temporal con...
AAMAS
1999
Springer
13 years 8 months ago
1999
Springer
Interaction protocols are specific, often standard, constraints on the behaviors of autonomous agents in a multiagent system. Protocols are essential to the functioning of open sys...
CACM
2010
13 years 5 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...