6399 search results - page 750 / 1280 » Display Models for Visualization |
198
click to vote
SIGPLAN
2002
15 years 7 months ago
2002
The paper reports on an experiment to provide the Erlang programming language with a tool package for convenient trace generation, collection and to support analysis of traces usi...
193
click to vote
QEST
2008
IEEE
16 years 2 months ago
2008
IEEE
We present Hintikka games for formulae of the probabilistic temporal logic PCTL and countable labeled Markov chains as models, giving an operational account of the denotational se...
202
click to vote
MM
2003
ACM
16 years 25 days ago
2003
ACM
Pictures have become increasingly common and popular in mobile communications. However, due to the limitation of mobile devices, there is a need to develop new technologies to fac...
205
click to vote
EUROMICRO
1998
IEEE
15 years 12 months ago
1998
IEEE
The continuing explosive growth of the web has not been matched by an adequate enhancement of the infrastructure on which it depends. Both consumers and producers are often left f...
186
click to vote
ASM
2008
ASM
15 years 9 months ago
2008
ASM
UML-B provides a graphical front end for Event-B. It adds support for class-oriented and state machine modelling. UML-B is similar to UML but has its own meta-model. UML-B provides...