Sciweavers

2045 search results - page 378 / 409
» The open network laboratory
Sort
View
KIVS
1999
Springer
15 years 10 months ago
Electronic Contracting im Internet
Heute bietet das Internet nicht nur für Großunternehmen sondern auch für kleine Unternehmen Möglichkeiten zur automatisierten Kooperation. Im Bereich des Business-to-Business-...
Michael Merz, Frank Griffel, Marko Boger, Harald W...
HPDC
1997
IEEE
15 years 10 months ago
A Secure Communications Infrastructure for High-Performance Distributed Computing
We describe a software infrastructure designed to support the development of applications that use high-speed networks to connect geographically distributed supercomputers, databa...
Ian T. Foster, Nicholas T. Karonis, Carl Kesselman...
COOPIS
2004
IEEE
15 years 9 months ago
Evaluation of a Group Communication Middleware for Clustered J2EE Application Servers
Abstract. Clusters have become the de facto platform to scale J2EE application servers. Each tier of the server uses group communication to maintain consistency between replicated ...
Takoua Abdellatif, Emmanuel Cecchet, Renaud Lachai...
157
Voted
DSN
2004
IEEE
15 years 9 months ago
Verifying Web Applications Using Bounded Model Checking
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...
Yao-Wen Huang, Fang Yu, Christian Hang, Chung-Hung...
172
Voted
COLT
2006
Springer
15 years 9 months ago
Efficient Learning Algorithms Yield Circuit Lower Bounds
We describe a new approach for understanding the difficulty of designing efficient learning algorithms. We prove that the existence of an efficient learning algorithm for a circui...
Lance Fortnow, Adam R. Klivans