3516 search results - page 218 / 704 » Integrating Security Modeling into Embedded System Design |
118
Voted
ACL
1998
15 years 5 months ago
1998
We describe the design and function of a robust processing component which is being developed for the Verbmobil speech translation system. Its task consists of collecting partial ...
121
Voted
CCE
2004
15 years 3 months ago
2004
The potential benefits of applying reactive distillation (RD) processes are taxed by significant complexities in process development and design. The design problem is formulated i...
114
Voted
ICCAD
2000
IEEE
15 years 8 months ago
2000
IEEE
Spurred by technology leading to the availability of millions of gates per chip, system-level integration is evolving as a new paradigm, allowing entire systems to be built on a s...
159
click to vote
CACM
2000
15 years 3 months ago
2000
Wireless Integrated Network Sensors (WINS) now provide a new monitoring and control capability for transportation, manufacturing, health care, environmental monitoring, and safety...
127
Voted
DAC
2002
ACM
16 years 4 months ago
2002
ACM
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...