5101 search results - page 786 / 1021 » Analyzing medical processes |
184
click to vote
MEMOCODE
2006
IEEE
16 years 1 months ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
211
click to vote
SIPS
2006
IEEE
16 years 1 months ago
2006
IEEE
Low-Density Parity-Check (LDPC) codes have been adopted in the physical layer of many communication systems because of their superior performance. The direct implementation of the...
154
click to vote
ACMDIS
2006
ACM
16 years 1 months ago
2006
ACM
Sensorial interfaces are based on augmenting existing physical objects with digital information. We propose sensorial activity theory to relate mu...
181
click to vote
CASES
2006
ACM
16 years 1 months ago
2006
ACM
Within the field of automation technology the use of Industrial Ethernet is rising. This in turn demands devices capable of precisely recording, analyzing, and manipulating commu...
195
click to vote
CASES
2006
ACM
16 years 1 months ago
2006
ACM
Dynamic binary instrumentation (DBI) is a powerful technique for analyzing the runtime behavior of software. While numerous DBI frameworks have been developed for general-purpose ...