3330 search results - page 367 / 666 » software 2010 |
127
click to vote
CISIS
2010
IEEE
15 years 9 months ago
2010
IEEE
—Structural ontology matching methods analyze mainly two factors: entity labels and relationships among entities. We propose to additionally consider an importance and relevance ...
133
click to vote
UIST
2010
ACM
15 years 2 months ago
2010
ACM
Screen-less wearable devices allow for the smallest form factor and thus the maximum mobility. However, current screen-less devices only support buttons and gestures. Pointing is ...
128
click to vote
WOSP
2010
ACM
15 years 11 months ago
2010
ACM
For garbage-collected applications, dynamically-allocated objects are contained in a heap. Programmer productivity improves significantly if there is a garbage collector to autom...
125
click to vote
EUROSYS
2010
ACM
15 years 8 months ago
2010
ACM
Effective use of CPU data caches is critical to good performance, but poor cache use patterns are often hard to spot using existing execution profiling tools. Typical profilers at...
116
click to vote
ICFEM
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Verifying that a parameterized system satisfies certain desired properties amounts to verifying an infinite family of the system instances. This problem is undecidable ...