Sciweavers

5681 search results - page 225 / 1137
» A Domain Model for eParticipation
Sort
View
ASAP
2011
IEEE
233views Hardware» more  ASAP 2011»
14 years 5 months ago
Accelerating vision and navigation applications on a customizable platform
—The domain of vision and navigation often includes applications for feature tracking as well as simultaneous localization and mapping (SLAM). As these problems require computati...
Jason Cong, Beayna Grigorian, Glenn Reinman, Marco...
DATE
2003
IEEE
113views Hardware» more  DATE 2003»
15 years 11 months ago
Design Space Exploration for a Wireless Protocol on a Reconfigurable Platform
This paper describes a design space exploration experiment for a real application from the embedded networking domain - the physical layer of a wireless protocol. The application ...
Laura Vanzago, Bishnupriya Bhattacharya, Joel Camb...
ERSHOV
2003
Springer
15 years 11 months ago
Combining Aspects of Reactive Systems
For reactive systems, a large collection of formal models has been developed. While the formal relationship between those models is often carefully analyzed, the methodical implica...
Leonid Kof, Bernhard Schätz
FIMH
2003
Springer
15 years 11 months ago
Motion Analysis of 3D Ultrasound Texture Patterns
We model the process of imaging soft tissues with a 3D ultrasound probe using a linear convolution model, and obtain analytical expressions of both the ultrasound image and its spe...
Weichuan Yu, Ning Lin, Ping Yan, Kailasnath Purush...
DAGSTUHL
2003
15 years 7 months ago
Operational Semantics of Security Protocols
Based on a concise domain analysis we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e...
Cas J. F. Cremers, Sjouke Mauw