6293 search results - page 1036 / 1259 » Information Flow Testing |
151
click to vote
COCO
2001
Springer
15 years 9 months ago
2001
Springer
Motivated by recent work on quantum black-box query complexity, we consider quantum versions of two wellstudied models of learning Boolean functions: Angluin’s model of exact le...
138
click to vote
PROMS
2001
Springer
15 years 9 months ago
2001
Springer
—This paper presents a model-based approach to service creation. We observe that the complexity of software services increases. To manage this complexity, and to quickly create s...
114
click to vote
SEMWEB
2001
Springer
15 years 9 months ago
2001
Springer
New approaches in the Web environment are underway. These new methodologies try to leverage it from an information medium to a knowledgeable level, from a machine point of view. Th...
134
click to vote
IV
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper describes an ongoing project with the goal of designing and implementing a method to evaluate visualizations based on the tasks supported. The method evaluates time to ...
139
Voted
MICRO
2000
IEEE
15 years 9 months ago
2000
IEEE
Selective dynamic compilation systems, typically driven by annotations that identify run-time constants, can achieve significant program speedups. However, manually inserting ann...