Sciweavers

5210 search results - page 383 / 1042
» Computing Capabilities of Mediators
Sort
View
TRIDENTCOM
2006
IEEE
16 years 26 days ago
A scalable framework for representation and exchange of network measurements
Grid and distributed computing environments are evolving rapidly and driving the development of system and network technologies. The design of applications has placed an increased...
Jason Zurawski, D. Martin Swany, Dan Gunter
ACL2
2006
ACM
16 years 26 days ago
Soundness of the simply typed lambda calculus in ACL2
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...
Sol Swords, William R. Cook
ANCS
2006
ACM
16 years 26 days ago
A methodology for evaluating runtime support in network processors
Modern network processor systems require the ability to adapt their processing capabilities at runtime to changes in network traffic. Traditionally, network processor applications...
Xin Huang, Tilman Wolf
ITICSE
2006
ACM
16 years 25 days ago
Agents help students in ProgrammingLand
ProgrammingLand is an online system for delivering content to introductory computer science courses as a substitute for a conventional textbook. Because the system has a large num...
Curt D. Hill, Vijayakumar Shanmugasundaram, Martin...
APSEC
2005
IEEE
16 years 15 days ago
Understanding the Nature of Collaboration in Open-Source Software Development
Our approach to better understand the nature of collaboration in open-source software (OSS) development is to view it as a participative system, where people and artifacts are int...
Kumiyo Nakakoji, Kazuaki Yamada, Elisa Giaccardi