854 search results - page 113 / 171 » Relational Model Driven Application Design |
COMAD
2008
15 years 2 months ago
2008
Orion is a state-of-the-art uncertain database management system that extends the relational model to include probabilistic uncertain data as first call data types. This demonstra...
120
Voted
SECON
2010
IEEE
14 years 10 months ago
2010
IEEE
Interference model is the basis of MAC protocol design in wireless networks, and it directly affects the efficiency and predictability of wireless messaging. To exploit the strengt...
138
click to vote
CL
2008
Springer
15 years 23 days ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
113
Voted
TROB
2002
15 years 9 days ago
2002
Abstract--A new image-based control strategy for visual servoing of a class of under-actuated rigid body systems is presented. The proposed control design applies to "eye-in-h...
100
click to vote
FMCAD
2007
Springer
15 years 4 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...