2810 search results - page 134 / 562 » Contract-Based Component System Design |
141
click to vote
CCS
2009
ACM
15 years 7 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
115
click to vote
ICCAD
2003
IEEE
16 years 10 hour ago
2003
IEEE
As current silicon-based techniques fast approach their practical limits, the investigation of nanoscale electronics, devices and system architectures becomes a central research p...
170
click to vote
RTCSA
2005
IEEE
15 years 8 months ago
2005
IEEE
Embedded systems are usually resource limited in terms of processing power, memory, and power consumption, thus embedded TCP/IP should be designed to make the best use of limited ...
108
Voted
GPCE
2007
Springer
15 years 9 months ago
2007
Springer
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchrono...
119
click to vote
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
Contract and rights management – and thus property rights protection – has gained increasing importance as a quality standard in brokerage and electronic commerce environments...