Sciweavers

6239 search results - page 57 / 1248
» From Zinc to Design Model
Sort
View
RSP
2005
IEEE
207views Control Systems» more  RSP 2005»
15 years 10 months ago
Design Exploration and HW/SW Rapid Prototyping for Real-Time System Design
Embedded signal processing systems are usually associated with real-time constraints and/or high data rates so that fully software implementation are often not satisfactory. In th...
Sylvain Huet, Emmanuel Casseau, Olivier Pasquier
ER
2003
Springer
173views Database» more  ER 2003»
15 years 9 months ago
Automatic Generation of XQuery View Definitions from ORA-SS Views
Many Internet-based applications have adopted XML as the standard data exchange format. These XML data are typically stored in its native form, thus creating the need to present XM...
Ya Bing Chen, Tok Wang Ling, Mong-Li Lee
KBSE
2006
IEEE
15 years 10 months ago
Model-driven Monitoring: Generating Assertions from Visual Contracts
The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level,...
Marc Lohmann, Gregor Engels, Stefan Sauer
BCSHCI
2007
15 years 6 months ago
Using formal models to design user interfaces: a case study
The use of formal models for user interface design can provide a number of benefits. It can help to ensure consistency across designs for multiple platforms, prove properties such...
Judy Bowen, Steve Reeves
ICMCS
1999
IEEE
164views Multimedia» more  ICMCS 1999»
15 years 8 months ago
A Semi-Automatic System to Infer Complex 3-D Shapes from Photographs
We present a semi-automatic image-based modeling system to make 3-D models from photographs. The human operator intervenes only for simple and straightforward tasks. The design of...
Qian Chen, Gérard G. Medioni