12289 search results - page 1665 / 2458 » computing 2006 |
225
click to vote
NCA
2006
IEEE
15 years 7 months ago
2006
IEEE
Scientists involved in the area of proteomics are currently seeking integrated, customised and validated research solutions to better expedite their work in proteomics analyses and...
219
click to vote
ICPP
2006
IEEE
16 years 1 months ago
2006
IEEE
— Due to resource scarcity, a paramount concern in ad hoc networks is to utilize the limited resources efficiently. The self-organized nature of ad hoc networks makes the social...
223
click to vote
ACL2
2006
ACM
16 years 1 months ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
243
click to vote
ACMSE
2006
ACM
16 years 1 months ago
2006
ACM
In this paper we consider the problem of automatically generating test suites associated with web-based enterprise systems. In particular, we discuss the construction of a tool de...
221
click to vote
BROADNETS
2006
IEEE
15 years 11 months ago
2006
IEEE
Traffic grooming continues to be a rich area of research in the context of WDM optical networks. We provide an overview of the optical and electronic grooming techniques available...