7720 search results - page 465 / 1544 » A Model for Interface Groups |
192
Voted
TOOLS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
165
Voted
ACMDIS
2004
ACM
16 years 9 days ago
2004
ACM
Privacy is a difficult design issue that is becoming increasingly important as we push into ubiquitous computing environments. While there is a fair amount of theoretical work on ...
180
Voted
FMSD
2006
15 years 6 months ago
2006
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc sy...
167
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— The state-of-the-art in control of hand prosthetics is far from optimal. The main control interface is represented by surface electromyography (EMG): the activation potentials ...
188
click to vote
SIGCOMM
2009
ACM
16 years 1 months ago
2009
ACM
For wireless mobile Internet users the length of the battery life is one of the most important performance factors. The energy efficiency of the data transmission over radio is a ...