Sciweavers

7311 search results - page 1288 / 1463
» Time in State Machines
Sort
View
ESORICS
2010
Springer
15 years 7 months ago
Secure Code Update for Embedded Devices via Proofs of Secure Erasure
Remote attestation is the process of verifying internal state of a remote embedded device. It is an important component of many security protocols and applications. Although previo...
Daniele Perito, Gene Tsudik
ESWS
2008
Springer
15 years 7 months ago
A Core Ontology for Business Process Analysis
Business Process Management (BPM) aims at supporting the whole life-cycle necessary to deploy and maintain business processes in organisations. An important step of the BPM life-cy...
Carlos Pedrinaci, John Domingue, Ana Karla Alves d...
GLOBECOM
2008
IEEE
15 years 7 months ago
Physical Layer Differential Network Coding for Two-Way Relay Channels
— In this work, we consider differential modulation in two-way relay channels (TWRC). In single antenna systems, we propose non-coherent schemes for both amplify-and forward (AF)...
Tao Cui, Feifei Gao, Chintha Tellambura
ISLPED
2010
ACM
158views Hardware» more  ISLPED 2010»
15 years 6 months ago
Temperature- and energy-constrained scheduling in multitasking systems: a model checking approach
The ongoing scaling of semiconductor technology is causing severe increase of on-chip power density and temperature in microprocessors. This has raised urgent requirement for both...
Weixun Wang, Xiaoke Qin, Prabhat Mishra
GISCIENCE
2010
Springer
215views GIS» more  GISCIENCE 2010»
15 years 6 months ago
Microtheories for Spatial Data Infrastructures - Accounting for Diversity of Local Conceptualizations at a Global Level
The categorization of our environment into feature types is an essential prerequisite for cartography, geographic information retrieval, routing applications, spatial decision supp...
Stephanie Duce, Krzysztof Janowicz
« Prev « First page 1288 / 1463 Last » Next »