Sciweavers

2741 search results - page 150 / 549
» Designing Law-Compliant Software Requirements
Sort
View
ICCAD
1995
IEEE
97views Hardware» more  ICCAD 1995»
15 years 10 months ago
Interface co-synthesis techniques for embedded systems
A key aspect of the synthesis of embedded systems is the automatic integration of system components. This entails the derivation of both the hardware and software interfaces that ...
Pai H. Chou, Ross B. Ortega, Gaetano Borriello
SERP
2008
15 years 7 months ago
Mapping Data-Flow Dependencies onto Distributed Embedded Systems
Model-driven development (MDD) is an emerging paradigm and has become state-of-the-art for embedded systems software design. In the overall design process, several steps have to be...
Stefan Kugele, Wolfgang Haberl
GLVLSI
1998
IEEE
119views VLSI» more  GLVLSI 1998»
15 years 10 months ago
A Combined Interval and Floating Point Multiplier
Interval arithmetic provides an e cient method for monitoring and controlling errors in numerical calculations. However, existing software packages for interval arithmetic are oft...
James E. Stine, Michael J. Schulte
AUIC
2004
IEEE
15 years 10 months ago
What Makes a Good User Interface Pattern Language?
A developer of user interfaces (UI) should be able to employ a user interface pattern language to design acceptable user interfaces. But, what makes a good pattern language? Three...
Elisabeth G. Todd, Elizabeth A. Kemp, Chris Philli...
MODELLIERUNG
2008
15 years 7 months ago
Incremental Evaluation of OCL Invariants in the Essential MOF Object Model
: The management of metamodels is supported by runtime environments that enforce the well-formedness of (meta-)model instances. Beyond this basic functionality, additional capabili...
Miguel García, Ralf Möller