Sciweavers

852 search results - page 111 / 171
» Understanding How the Requirements Are Implemented in Source...
Sort
View
RTCSA
2008
IEEE
15 years 11 months ago
CREAM: A Generic Build-Time Component Framework for Distributed Embedded Systems
A component framework plays an important role in CBSD as it determines how software components are developed, packaged, assembled and deployed. A desirable component framework for...
Chetan Raj, Jiyong Park, Jungkeun Park, Seongsoo H...
ICCV
2009
IEEE
16 years 9 months ago
A linear formulation of shape from specular flow
When a curved mirror-like surface moves relative to its environment, it induces a motion field—or specular flow— on the image plane that observes it. This specular flow is r...
Guillermo D. Canas, Yuriy Vasilyev, Yair Adato, To...
SOFSEM
2009
Springer
16 years 1 months ago
When Analysis Fails: Heuristic Mechanism Design via Self-correcting Procedures
Abstract. Computational mechanism design (CMD) seeks to understand how to design game forms that induce desirable outcomes in multiagent systems despite private information, self-i...
David C. Parkes
JSAC
2011
176views more  JSAC 2011»
14 years 11 months ago
Cross-Layer Routing Using Cooperative Transmission in Vehicular Ad-hoc Networks
Wireless vehicular ad hoc networks are characterized by multi-hop transmission, where a key problem is the design of routing, e.g., how to efficiently direct the information flo...
Zhiguo Ding, Kin K. Leung
SBCCI
2004
ACM
127views VLSI» more  SBCCI 2004»
15 years 10 months ago
A formal software synthesis approach for embedded hard real-time systems
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...
Raimundo S. Barreto, Marília Neves, Meuse N...