4820 search results - page 766 / 964 » Implementing Signatures for C |
201
click to vote
WMASH
2005
ACM
16 years 5 hour ago
2005
ACM
Wireless access has already become a ubiquitous way to connect to the Internet, but the mushrooming of wireless access infrastructures throughout the world has given rise to a wid...
208
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
The next generation of air traffic control will require automated decision support systems in order to meet safety, reliability, flexibility, and robustness demands in an environ...
157
click to vote
CAV
2005
Springer
15 years 12 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
164
click to vote
EMSOFT
2005
Springer
15 years 12 months ago
2005
Springer
Current consumer electronics devices do not interoperate and are hard to use. Devices use proprietary, device-specific and inflexible protocols. Resources across device classes, s...
186
click to vote
EMSOFT
2005
Springer
15 years 12 months ago
2005
Springer
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...