Sciweavers

310 search results - page 26 / 62
» Overview of WebCLEF 2005
Sort
View
MSE
2005
IEEE
116views Hardware» more  MSE 2005»
14 years 1 months ago
PEER: Enriching Secondary Engineering Education Through a College Summer Camp
The Partnership for Engineering Education in the Rockies (PEER) is comprised of local educational and industrial institutions committed to improving the engineering education path...
Justin Gregg, Tom W. Chen
MSS
2005
IEEE
133views Hardware» more  MSS 2005»
14 years 1 months ago
Exporting Storage Systems in a Scalable Manner with pNFS
To meet enterprise and grand challenge-scale performance and interoperability requirements, a group of engineers—initially ad-hoc but now integrated into the IETF—is designing...
Dean Hildebrand, Peter Honeyman
SAINT
2005
IEEE
14 years 1 months ago
IPv6 Campus Transition Experiences
IPv6 is now a mature standard, with the core protocols defined by the Internet Engineering Task Force (IETF). Over the past two years a number of national research networks and a...
Tim Chown
SEFM
2005
IEEE
14 years 1 months ago
Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification
The three main assertion-based verification approaches are: Design by Contract (DBC), Extended Static Checking (ESC) and Verified Design by Contract (VDBC). Each approach offers a...
Thomas Wilson, Savi Maharaj, Robert G. Clark
VISSOFT
2005
IEEE
14 years 1 months ago
Multi-level Method Understanding Using Microprints
Understanding classes and methods is a key activity in object-oriented programming, since classes represent the abstractions from which applications are built, while methods conta...
Stéphane Ducasse, Michele Lanza, Romain Rob...