1077 search results - page 146 / 216 » Formal Checking of Properties in Complex Systems Using Abstr... |
AICOM
2005
14 years 9 months ago
2005
Abstract. Simulating and controlling physiological phenomena are complex tasks to tackle. This is due to the fact that physiological processes are usually described by a set of par...
SOCO
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
TPHOL
2005
IEEE
15 years 3 months ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
108
click to vote
SIGSOFT
2003
ACM
15 years 10 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
TWC
2008
14 years 9 months ago
2008
Abstract-- This paper addresses preamble-based low complexity synchronization, channel estimation and equalization for Zero-padded (ZP) MB-OFDM based UWB systems. The proposed sync...