14809 search results - page 2851 / 2962 » Model transformation by demonstration |
SCAM
2008
IEEE
14 years 4 months ago
2008
IEEE
Decompiling low-level code to a high-level intermediate representation facilitates the development of analyzers, model checkers, etc. which reason about properties of the low-leve...
SUTC
2008
IEEE
14 years 4 months ago
2008
IEEE
A piece of Hovering Information is a geo-localized information residing in a highly dynamic environment such as a mobile ad hoc network. This information is attached to a geograph...
VTC
2008
IEEE
14 years 4 months ago
2008
IEEE
— The IEEE 802.16j protocol for a multi-hop relay (MMR) WiMAX network is being developed to increase data rates and extend service coverage as an enhancement of existing WiMAX st...
3DIM
2007
IEEE
14 years 4 months ago
2007
IEEE
In this paper, we propose an extension of light stripe triangulation for multiple of moving rigid objects. With traditional light stripe triangulation, the acquired shape of movin...
ACSAC
2007
IEEE
14 years 4 months ago
2007
IEEE
Integrity measurements provide a means by which distributed systems can assess the trustability of potentially compromised remote hosts. However, current measurement techniques si...