7661 search results - page 1374 / 1533 » Languages and the Computing Profession |
120
click to vote
LCTRTS
2001
Springer
15 years 9 months ago
2001
Springer
Computers are increasingly being incorporated in devices with a limited amount of available memory. As a result research is increasingly focusing on the automated reduction of pro...
154
click to vote
CSMR
1999
IEEE
15 years 9 months ago
1999
IEEE
Growing maintenance costs have become a major concern for developers and users of software systems. Changeability is an important aspect of maintainability, especially in environm...
140
click to vote
MOBICOM
1999
ACM
15 years 9 months ago
1999
ACM
The widespread deployment of inexpensive communications technology, computational resources in the networking infrastructure, and network-enabled end devices poses an interesting ...
154
Voted
ICECCS
1999
IEEE
15 years 9 months ago
1999
IEEE
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...
133
click to vote
ICMCS
1999
IEEE
15 years 9 months ago
1999
IEEE
In this paper, a technique is presented for CT image analysis and visualization of the bronchial airways. The technique provides a non-invasive way to examine the interior of the ...