518 search results - page 104 / 104 » Time Window Temporal Logic |
81
Voted
FMSD
2010
14 years 8 months ago
2010
In this paper, we consider verifying properties of mixed-signal circuits, i.e., circuits for which there is an interaction between analog (continuous) and digital (discrete) values...
JUCS
2010
14 years 8 months ago
2010
: Model-Driven Development concepts are exhibiting as a good engineering solution for the design of ubiquitous applications with multi-device user interfaces and other contextaware...
INFOCOM
2012
IEEE
12 years 12 months ago
2012
IEEE
—Recent years have witnessed mass proliferation of mobile devices with rich wireless communication capabilities as well as emerging mobile device based information dissemination ...