1655 search results - page 116 / 331 » State, Event, Time and Diagram in System Modeling |
166
click to vote
COORDINATION
2009
Springer
16 years 6 months ago
2009
Springer
This paper presents a transactional framework for low-latency, high-performance, concurrent event processing in Java. At the heart of our framework lies Reflexes, a restricted prog...
186
click to vote
NRHM
2000
15 years 6 months ago
2000
Collecting, analyzing, and sharing information via a hypertext results in the continuous modification of information content over a long period of time. Such tasks will benefit fr...
172
click to vote
INFORMS
2008
15 years 6 months ago
2008
Cycle time-throughput (CT-TH) percentile curves quantify the relationship between percentiles of cycle time and factory throughput, and they can play an important role in strategi...
184
click to vote
PAPM
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. This paper reports on the implementation and the experiments with symbolic model checking of continuous-time Markov chains using multi-terminal binary decision diagrams (...
192
click to vote
EMSOFT
2009
Springer
16 years 26 days ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...