14642 search results - page 2792 / 2929 » It's Time for a Change |
197
click to vote
KBSE
2005
IEEE
16 years 1 days ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
189
click to vote
RSP
2005
IEEE
16 years 1 days ago
2005
IEEE
Abstract— John von Neumann proposed his famous architecture in a context where hardware was very expensive and bulky. His goal was to maximize functionality with minimal hardware...
197
click to vote
RTCSA
2005
IEEE
16 years 1 days ago
2005
IEEE
The Software Communications Architecture (SCA) defined by Joint Tactical Radio Systems (JTRS) is the de facto standard middleware currently adopted by the Software Defined Radio (...
153
click to vote
VISUALIZATION
2005
IEEE
16 years 1 days ago
2005
IEEE
A new close range virtual reality system is introduced that allows intuitive and immersive user interaction with computer generated objects. A projector with a special spherical l...
171
click to vote
ACMSE
2005
ACM
16 years 1 days ago
2005
ACM
Web user search customization research has been fueled by the recognition that if the WWW is to attain to its optimal potential as an interactive medium the development of new and...