3885 search results - page 434 / 777 » Transformations for Write-All-with-Collision Model |
191
click to vote
BTW
2007
Springer
16 years 28 days ago
2007
Springer
: Ontology and schema matching are well established techniques, which have been applied in various integration scenarios, e.g., web service composition and database integration. Co...
162
Voted
ACSAC
2005
IEEE
16 years 11 days ago
2005
IEEE
Fault induction attacks are a serious concern for designers of secure embedded systems. An ideal solution would be a generic circuit transformation that would produce circuits tha...
165
click to vote
ICESS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
187
click to vote
FLOPS
2004
Springer
16 years 4 days ago
2004
Springer
We propose a semantic framework for modelling the linear usage of continuations in typed call-by-name programming languages. On the semantic side, we introduce a construction for c...
186
click to vote
ICCV
2003
IEEE
16 years 1 days ago
2003
IEEE
This paper presents a new method of detecting and predicting motion tracking failures with applications in human motion and gait analysis. We define a tracking failure as an event...