4424 search results - page 592 / 885 » Semantic virtual environments |
195
click to vote
RTA
2007
Springer
16 years 24 days ago
2007
Springer
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...
221
click to vote
OTM
2010
Springer
15 years 4 months ago
2010
Springer
Current trends like globalization and virtual enterprises result in an increasing need for on-the-fly integration of distributed applications grown over the past decades and origin...
145
click to vote
IJISEC
2011
14 years 10 months ago
2011
Remote attestation is the activity of making a claim about properties of a target by supplying evidence to an appraiser over a network. We identify five central principles to guid...
213
click to vote
EON
2008
15 years 8 months ago
2008
We reuse here the framework, the setting, and the semantic modelling for the automated synthesis of the SWS Challenge Mediator presented in the companion paper [5], and show how to...
224
click to vote
VEE
2010
ACM
16 years 1 months ago
2010
ACM
Asymmetric multicore processors (AMP) consist of cores exposing the same instruction-set architecture (ISA) but varying in size, frequency, power consumption and performance. AMPs...