Sciweavers

377 search results - page 41 / 76
» Towards Alternative Approaches to Reasoning About Goals
Sort
View
ICSE
2007
IEEE-ACM
14 years 10 months ago
Behaviour Model Synthesis from Properties and Scenarios
Synthesis of behaviour models from software development artifacts such as scenario-based descriptions or requirements specifications not only helps significantly reduce the effort...
Greg Brunet, Marsha Chechik, Sebastián Uchi...
EWCBR
2008
Springer
14 years 15 days ago
Knowledge Planning and Learned Personalization for Web-Based Case Adaptation
How to endow case-based reasoning systems with effective case adaptation capabilities is a classic problem. A significant impediment to developing automated adaptation procedures i...
David B. Leake, Jay H. Powell
SIGCOMM
2003
ACM
14 years 4 months ago
Towards an accurate AS-level traceroute tool
Traceroute is widely used to detect routing problems, characterize end-to-end paths, and discover the Internet topology. Providing an accurate list of the Autonomous Systems (ASes...
Zhuoqing Morley Mao, Jennifer Rexford, Jia Wang, R...
ICDE
2008
IEEE
144views Database» more  ICDE 2008»
15 years 3 days ago
QShuffler: Getting the Query Mix Right
The typical workload in a database system consists of a mixture of multiple queries of different types, running concurrently and interacting with each other. Hence, optimizing perf...
Mumtaz Ahmad, Ashraf Aboulnaga, Shivnath Babu, Kam...
ICDE
2004
IEEE
100views Database» more  ICDE 2004»
15 years 3 days ago
Simple, Robust and Highly Concurrent B-trees with Node Deletion
Why might B-tree concurrency control still be interesting? For two reasons: (i) currently exploited "real world" approaches are complicated; (ii) simpler proposals are n...
David B. Lomet