326 search results - page 22 / 66 » Embedding Real Time in Stochastic Process Algebras |
150
click to vote
TCOS
2008
15 years 1 months ago
2008
Denotational mathematics is a category of expressive mathematical structures that deals with high-level mathematical entities beyond numbers and sets, such as abstract objects, com...
132
click to vote
ICALP
1998
Springer
15 years 5 months ago
1998
Springer
This paper investigates the use of a complete metric space framework for providing denotational semantics to a real-time process algebra. The study is carried out in a non-interlea...
102
click to vote
IFM
2000
Springer
15 years 5 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
120
click to vote
DATE
2008
IEEE
15 years 3 months ago
2008
IEEE
In this paper, we propose a simulation-based methodology for worst-case response time estimation of distributed realtime systems. Schedulability analysis produces pessimistic uppe...
100
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: Research in life sciences is benefiting from a large availability of formal description techniques and analysis methodologies. These allow both the phenomena investiga...