2850 search results - page 23 / 570 » On Timed Models and Full Abstraction |
CONCUR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In this paper we introduce a real-time extension of the concurrent object modeling language Creol which is based on duration statements indicating best and worst case exe...
113
click to vote
AUTONOMICS
2008
ACM
15 years 2 months ago
2008
ACM
A prominent functionality of a Wireless Sensor Network (WSN) is environmental monitoring. For this purpose the WSN creates a model for the real world by using abstractions to pars...
126
click to vote
CORR
2010
Springer
15 years 22 days ago
2010
Springer
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
CONCUR
2008
Springer
15 years 2 months ago
2008
Springer
ion for Stochastic Systems by Erlang's Method of Stages Joost-Pieter Katoen1 , Daniel Klink1 , Martin Leucker2 , and Verena Wolf3 1 RWTH Aachen University 2 TU Munich 3 EPF La...
111
click to vote
FUIN
2007
15 years 17 days ago
2007
The paper presents a method of abstraction for timed systems. To extract an abstract model of a timed system we propose to use static analysis, namely a technique called path compr...