10715 search results - page 1837 / 2143 » From Tests to Proofs |
175
click to vote
ICMCS
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper presents the results of an empirical study suggesting that, while laughter is a very good indicator of amusement, the kind of laughter (unvoiced laughter vs.voiced laug...
183
click to vote
ICMCS
2009
IEEE
15 years 4 months ago
2009
IEEE
Although mobile devices are rich sources of context information, the distribution of context in mobile environments is often hindered by the limited battery life, and wireless con...
180
click to vote
ICMCS
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper presents a tool and a novel Fast Invariant Transform (FIT) algorithm for language independent e-documents access. The tool enables a person to access an e-document thro...
209
click to vote
ICUMT
2009
15 years 4 months ago
2009
We describe the main architecture and the design principles of the Service/Resource Discovery System (SRDS), a component of the XtreemOS Operating System. XtreemOS is a Linux exten...
238
click to vote
IESS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Embedded system design complexities are growing exponentially. Demand has increased for modeling techniques that can provide both accurate measurements of delay and fast ...