Sciweavers

5961 search results - page 1001 / 1193
» Design Science and Software Engineering
Sort
View
121
Voted
GI
2003
Springer
15 years 8 months ago
Dokumentation von Wissen beim Systemmanagement
: Es wird über ein evolutionär entwickeltes System zur Dokumentation beim Systemmanagement berichtet. Die Dokumentationssoftware wird seit knapp zwei Jahren im Echtbetrieb einges...
Nils Wittler, Thorsten Spitta
121
Voted
WWW
2009
ACM
16 years 4 months ago
MASTH proxy: an extensible platform for web overload control
Many overload control mechanisms for Web based applications aim to prevent overload by setting limits on factors such as admitted load, number of server threads, buffer size. For ...
Vipul Mathur, Sanket Dhopeshwarkar, Varsha Apte
120
Voted
WWW
2008
ACM
16 years 4 months ago
An initial investigation on evaluating semantic web instance data
Many emerging semantic web applications include ontologies from one set of authors and instance data from another (often much larger) set of authors. Often ontologies are reused a...
Li Ding, Jiao Tao, Deborah L. McGuinness
231
Voted
POPL
2008
ACM
16 years 3 months ago
Formal verification of translation validators: a case study on instruction scheduling optimizations
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...
Jean-Baptiste Tristan, Xavier Leroy
EUROSYS
2007
ACM
16 years 17 days ago
Sprint: a middleware for high-performance transaction processing
Sprint is a middleware infrastructure for high performance and high availability data management. It extends the functionality of a standalone in-memory database (IMDB) server to ...
Lásaro J. Camargos, Fernando Pedone, Marcin...
« Prev « First page 1001 / 1193 Last » Next »