1263 search results - page 159 / 253 » Timing Analysis of Body Area Network Applications |
165
click to vote
MSR
2005
ACM
15 years 11 months ago
2005
ACM
One of the most successful applications of static analysis based bug finding tools is to search the source code for violations of system-specific rules. These rules may describe h...
146
click to vote
FDL
2005
IEEE
15 years 11 months ago
2005
IEEE
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...
180
click to vote
SIGMOD
2010
ACM
15 years 26 days ago
2010
ACM
Probabilistic processes appear naturally in various contexts, with applications to Business Processes, XML data management and more. Many models for specifying and querying such p...
165
click to vote
PERCOM
2010
ACM
15 years 4 months ago
2010
ACM
—Fluid intake is an important information for many health and assisted living applications. At the same time it is inherently difficult to monitor. Existing reliable solutions r...
161
click to vote
ICIP
2006
IEEE
16 years 7 months ago
2006
IEEE
Network Coding (NC) can be efficiently combined with the "physical layer broadcast" property of wireless mediums to facilitate mutual exchange of independent information...