4348 search results - page 236 / 870 » Using UML for Modeling Complex Real-Time Systems |
185
Voted
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
161
click to vote
SIGIR
2006
ACM
16 years 12 days ago
2006
ACM
We present a novel framework for answering complex questions that relies on question decomposition. Complex questions are decomposed by a procedure that operates on a Markov chain...
178
click to vote
GLOBECOM
2006
IEEE
16 years 15 days ago
2006
IEEE
Abstract— We propose a low-complexity adaptive highresolution channel prediction algorithm for pilot symbol assisted orthogonal frequency division multiplexing (OFDM) systems. Th...
178
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
This presentation demonstrates the early results from the French ANR project RT-Simex. RT-Simex proposes a set of tools to analyze timing of parallel embedded code and trace the s...
161
Voted
ICCS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Modeling is considered an inherent part of design, operation and optimization of Water Quality Systems. Models are used for running so-called Virtual Experiments, such as...