1980 search results - page 181 / 396 » Compositional Model Checking of Real Time Systems |
144
click to vote
RTSS
2007
IEEE
15 years 8 months ago
2007
IEEE
It is challenging to process transactions in a timely fashion using fresh data, e.g., current stock prices, since database workloads may considerably vary due to dynamic data/reso...
EOR
2008
15 years 2 months ago
2008
In this work, we address investment decisions in production systems by using real options. As is standard in literature, the stochastic variable is assumed to be normally distribu...
129
click to vote
CADE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We describe mcmt, a fully declarative and deductive symbolic model checker for safety properties of infinite state systems whose state variables are arrays. Theories spec...
117
click to vote
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
— This paper describes a combined modulation scheme for time hopping ultra wideband (TH-UWB) radio systems using on-off keying (OOK) and pulse shape modulation (PSM). For this sc...
105
click to vote
MEMOCODE
2006
IEEE
15 years 8 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...