Sciweavers

3914 search results - page 473 / 783
» Automating SLA modeling
Sort
View
DSRT
2008
IEEE
15 years 8 months ago
Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...
Ana R. Cavalli, Edgardo Montes de Oca, Wissam Mall...
ECAI
2008
Springer
15 years 8 months ago
Justification-Based Non-Clausal Local Search for SAT
While stochastic local search (SLS) techniques are very efficient in solving hard randomly generated propositional satisfiability (SAT) problem instances, a major challenge is to i...
Matti Järvisalo, Tommi A. Junttila, Ilkka Nie...
IJCAI
2007
15 years 8 months ago
Learning User Clicks in Web Search
Machine learning for predicting user clicks in Webbased search offers automated explanation of user activity. We address click prediction in the Web search scenario by introducing...
Ding Zhou, Levent Bolelli, Jia Li, C. Lee Giles, H...
WSC
2004
15 years 8 months ago
Using Autonomous Modular Material Handling Equipment for Manufacturing Flexibility
This paper describes a modular autonomous material handling equipment solution for flexible automation. Discrete Event Simulation is in this case used as a tool for shortening tim...
Björn Johansson, Edward J. Williams, Tord Ale...
BDA
1998
15 years 8 months ago
Methods and views
Many papers have been written on the structural aspect of view mechanisms for object-oriented databases. A clean model that focuses speci cally on the interplay between methods an...
Jan Van den Bussche, Emmanuel Waller