5477 search results - page 136 / 1096 » Contexts, Domains, and Software |
164
Voted
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Verification of programs with invocations to unknown procedures is a practical problem, because in many scenarios not all codes of programs to be verified are available...
188
Voted
CASES
2008
ACM
15 years 9 months ago
2008
ACM
Power, energy, and thermal concerns have constrained embedded systems designs. Computing capability and storage density have increased dramatically, enabling the emergence of hand...
192
click to vote
MIDDLEWARE
2005
Springer
16 years 14 days ago
2005
Springer
Advances in MEMS technology, wireless communications, and digital electronics have enabled the development of low-cost, low-power, multifunctional sensor nodes that integrating th...
154
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...
183
click to vote
ICFEM
2009
Springer
16 years 1 months ago
2009
Springer
Coinductive proofs of behavioral equivalence often require human ingenuity, in that one is expected to provide a “good” relation extending one’s goal with additional lemmas, ...