Sciweavers

3305 search results - page 158 / 661
» Can we Rely on SQL
Sort
View
ESWS
2006
Springer
14 years 2 months ago
RDFBroker: A Signature-Based High-Performance RDF Store
Abstract. Many approaches for RDF stores exist, most of them using very straight-forward techniques to store triples in or mapping RDF Schema classes to database tables. In this pa...
Michael Sintek, Malte Kiesel
FORMATS
2006
Springer
14 years 2 months ago
Symbolic Robustness Analysis of Timed Automata
We propose a symbolic algorithm for the analysis of the robustness of timed automata, that is the correctness of the model in presence of small drifts on the clocks or imprecision ...
Conrado Daws, Piotr Kordy
USENIX
2008
14 years 20 days ago
Remote Profiling of Resource Constraints of Web Servers Using Mini-Flash Crowds
Unexpected surges in Web request traffic can exercise server-side resources (e.g., access bandwidth, processing, storage etc.) in undesirable ways. Administrators today do not hav...
Pratap Ramamurthy, Vyas Sekar, Aditya Akella, Bala...
ESWS
2008
Springer
14 years 3 days ago
GRISINO - An Integrated Infrastructure for Semantic Web Services, Grid Computing and Intelligent Objects
Future information, knowledge and content infrastructures which provide highly automated support in fulfilling users goals will most likely rely on some form of GRID computing. In ...
Ioan Toma, Tobias Bürger, M. Omair Shafiq, Da...
ICWS
2007
IEEE
13 years 11 months ago
Automated Choreographer Synthesis for Web Services Composition Using I/O Automata
We study the problem of synthesis of a choreogrpher in Web service composition for a given set of services and a goal. Services and goal are represented using i/o automata which c...
Saayan Mitra, Ratnesh Kumar, Samik Basu