4454 search results - page 122 / 891 » Designing components for e-services |
203
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
179
click to vote
ICC
2007
IEEE
16 years 24 days ago
2007
IEEE
Abstract— Nowadays a lot of effort is spent on developing OFDMbased inexpensive wireless transceivers. Direct-conversion radio frequency transceivers are appealing because they a...
176
click to vote
FBIT
2007
IEEE
16 years 24 days ago
2007
IEEE
This article reports on a neural prosthesis stimulation system for long-term use in animal electrical stimulation experiments. The presented system consists of an implantable stim...
157
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—Since the foundation of AUTomotive Open System ARchitecture (AUTOSAR), the AUTOSAR Core Partners and more than 65 Premium and Development Members have been working on the standa...
165
click to vote
HASE
1997
IEEE
15 years 10 months ago
1997
IEEE
The Reusable Software Fault Tolerance Testbed ReSoFT was developed to facilitate the development and evaluation of high-assurance systems that require tolerance of both hardware...