10715 search results - page 1737 / 2143 » Proofs from Tests |
260
Voted
FMOODS
2007
2007
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
15 years 9 months ago
We present a novel approach, based on probabilistic formal methods, to developing cross-layer resource optimization policies for resource limited distributed systems. One objective...
222
click to vote
IADIS
2008
15 years 9 months ago
2008
Programming and developing of small scale software applications can be accomplished with simple command-line compilers that can be used to compile, test, and execute code generati...
215
click to vote
ICMLA
2008
15 years 9 months ago
2008
This article presents an approach to estimating exercise energy expenditure based on acceleration measurements from a wrist-worn biaxial sensor. The method uses the linear mixed m...
176
click to vote
HCI
2007
15 years 9 months ago
2007
Interaction between two teams with the same team leader and with similar size and goals moved from weekly face-to-face meetings to virtual meetings because of the temporary displac...
185
click to vote
HCI
2007
15 years 9 months ago
2007
In recent years, we have developed an icon-based communication interface to represent concepts and ideas. Users can create messages to communicate with others using a spatial arran...