984 search results - page 39 / 197 » Experimenting with Multi-Level Models in a Two-Level Modelin... |
153
click to vote
ASPDAC
2008
ACM
15 years 5 months ago
2008
ACM
The quality of the input system model has a direct bearing on the effectiveness of the system exploration and synthesis tools. Given a well-structured system model, tools today are...
151
Voted
FMICS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...
137
click to vote
WMTE
2002
IEEE
15 years 8 months ago
2002
IEEE
Based on experience in orchestrating co llaborative learning scenarios with ubiquitous computing technology, two strategies for extending a co -constructive modeling environment w...
105
Voted
DAC
1997
ACM
15 years 7 months ago
1997
ACM
Many co-simulation techniques either suffer from poor performance when simulating communications intensive systems, or they represent communications with a uniformly low level of ...
129
Voted
STTT
2010
14 years 10 months ago
2010
Abstract. We report here on an experimental investigation of LTL satisfiability checking via a reduction to model checking. By using large LTL formulas, we offer challenging model-...