7820 search results - page 164 / 1564 » Formalization of Time and Space |
202
click to vote
TOOLS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provid...
214
click to vote
SAC
2004
ACM
16 years 14 days ago
2004
ACM
Being E-commerce one of the most critical Internet application, it is fundamental to employ technologies which guarantee not only secure transactions but also an adequate quality ...
213
click to vote
FORMATS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Probabilistic timed automata are an extension of timed automata with discrete probability distributions. Simulation and bisimulation relations are widely-studied in the c...
177
click to vote
COCOON
2001
Springer
15 years 11 months ago
2001
Springer
We present a simple space saving trick that applies to many previous algorithms for transitive closure and shortest paths in dynamic directed graphs. In these problems, an update c...
217
click to vote
ECOOP
1993
Springer
15 years 11 months ago
1993
Springer
This paper proposes a formalism for reasoning about distributed object-oriented computations. The formalism is an extension of Milner’s CCS with the notion of local time. It allo...