3953 search results - page 517 / 791 » Enhancing web accessibility |
122
Voted
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
—We describe PTYASM, an enhanced version of the YASM software model checker which uses proof templates. These templates associate correctness arguments with common programming id...
143
click to vote
WCRE
2008
IEEE
15 years 11 months ago
2008
IEEE
Static views of object-oriented source code as presented in a development environment (IDE) do not provide explicit representations of dynamic collaboration to describe how source...
133
Voted
WECWIS
2008
IEEE
15 years 11 months ago
2008
IEEE
The distribution of services spanning across organizational boundaries raises problems related to intellectual value that are less explored in current service oriented research. B...
125
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
— Cognitive radio has been recently proposed as a promising technology to improve the spectrum utilization efficiency by intelligently sensing and accessing some vacant bands of...
158
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
– The IEEE 802.11e is the extension to enhance the wireless Medium Access Control (MAC) Quality of Service (QoS) for applications requiring real time services. The IEEE 802.11b i...