4015 search results - page 312 / 803 » The Future of Software Performance Engineering |
180
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Coinduction is a major technique employed to prove behavioral properties of systems, such as behavioral equivalence. Its automation is highly desirable, despite the fact ...
149
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
In this paper we conduct an exploratory experiment on context restoration in multi-tasking dialogue and report our preliminary findings. We examine a corpus of human-human dialog...
167
click to vote
WCRE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Navigating large software systems is difficult as the various artifacts are distributed in a huge space, while the relationships between different artifacts often remain hidden...
210
Voted
UIST
2009
ACM
16 years 1 months ago
2009
ACM
Interaction with large unstructured datasets is difficult because existing approaches, such as keyword search, are not always suited to describing concepts corresponding to the di...
150
click to vote
COMSWARE
2008
IEEE
16 years 1 months ago
2008
IEEE
—Presence technology is going to be an integral part of the next generation of communication technology. It can eliminate telephone tag between two parties (caller and callee), w...