5244 search results - page 529 / 1049 » Structural Complexity of AvgBPP |
283
click to vote
ICDE
2001
IEEE
16 years 8 months ago
2001
IEEE
We propose an extension to current view-based mediator systems called model-based mediation, in which views are defined and executed at the level of conceptual models (CMs) rather...
181
click to vote
COSIT
2009
Springer
16 years 1 months ago
2009
Springer
Human path planning relies on several more aspects than only geometric distance between two locations. These additional aspects mostly relate to the complexity of the traveled path...
202
click to vote
ICSM
2007
IEEE
16 years 1 months ago
2007
IEEE
Libre (free / open source) software development is a complex phenomenon. Many actors (core developers, casual contributors, bug reporters, patch submitters, users, etc.), in many ...
302
click to vote
ISSTA
2004
ACM
16 years 16 days ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
212
click to vote
WIDM
2004
ACM
16 years 16 days ago
2004
ACM
In this paper, we propose a set of similarity metrics for manipulating collections of values occuring in XML documents. Following the data model presented in TAX algebra, we treat...