Sciweavers

5961 search results - page 1001 / 1193
» Design Science and Software Engineering
Sort
View
GI
2003
Springer
15 years 11 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
WWW
2009
ACM
16 years 7 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
WWW
2008
ACM
16 years 7 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
POPL
2008
ACM
16 years 6 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 3 months 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 »