Sciweavers

3893 search results - page 160 / 779
» Execution Architectures and Compilation
Sort
View
110
Voted
DIMVA
2010
15 years 5 months ago
Conqueror: Tamper-Proof Code Execution on Legacy Systems
We present Conqueror, a software-based attestation scheme for tamper-proof code execution on untrusted legacy systems. Beside providing load-time attestation of a piece of code, Co...
Lorenzo Martignoni, Roberto Paleari, Danilo Brusch...
138
Voted
ENTCS
2010
165views more  ENTCS 2010»
15 years 3 months ago
Correct Execution of Reconfiguration for Stateful Components
In component-based software engineering, reconfiguration describes structural changes to the architecture of a component system. For stateful components, not only structural but a...
Moritz Hammer, Alexander Knapp
128
Voted
APIN
2006
142views more  APIN 2006»
15 years 3 months ago
Achieving dynamic, multi-commander, multi-mission planning and execution
The Multi-Agent Distributed Goal Satisfaction (MADGS) system facilitates distributed mission planning and execution in complex dynamic environments with a focus on distributed goal...
Eugene Santos, Scott A. DeLoach, Michael T. Cox
112
Voted
RAS
2006
170views more  RAS 2006»
15 years 3 months ago
Hierarchical attentive multiple models for execution and recognition of actions
According to the motor theories of perception, the motor systems of an observer are actively involved in the perception of actions when these are performed by a demonstrator. In t...
Yiannis Demiris, Bassam Khadhouri
119
Voted
ICSOC
2007
Springer
15 years 9 months ago
An Execution Engine for Semantic Business Processes
In this paper we present the architecture and design of an extended BPEL engine that implements the operational semantics of BPEL4SWS. BPEL4SWS is an extension of the BPEL language...
Tammo van Lessen, Jörg Nitzsche, Marin Dimitr...