Amanote Research

Amanote Research

    RegisterSign In

Using XCAP to Certify Realistic Systems Code: Machine Context Management

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-74591-4_15
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer ScienceTheoretical Computer Science
Date

Unknown

Authors
Zhaozhong NiDachuan YuZhong Shao
Publisher

Springer Berlin Heidelberg


Related search

Process Recommendation Using Context in Crisis Management: Application to Flood Management

2018English

Preference-Based Inconsistency Management in Multi-Context Systems

Journal of Artificial Intelligence Research
Artificial Intelligence
2017English

Scientific Knowledge Management in Socio-Environmental Systems Context

TripleC
CommunicationComputer Science Applications
2011English

Representing Context in Abbreviation Expansion Using Machine Learning Approach

2017English

Using Memory Management to Detect and Extract Illegitimate Code for Malware Analysis

2012English

Adaptive Multimedia Systems Based on Intelligent Context Management

International Journal of Adaptive and Innovative Systems
2009English

Context Management With Topics for Spoken Dialogue Systems

1998English

Polymorphic Type Inference for Machine Code

ACM SIGPLAN Notices
Computer Science
2016English

Directed Proof Generation for Machine Code

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy