7099 search results - page 333 / 1420 » Context for models of concurrency |
192
click to vote
VMCAI
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
214
click to vote
FIDJI
2003
Springer
16 years 23 days ago
2003
Springer
This paper introduces a new programming model for distributed systems, distributed composite objects (DCO), to meet efficient implementation, transparency, and performance demands ...
203
click to vote
FORMATS
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. We apply three different modeling frameworks -- timed automata (Uppaal), colored Petri nets and synchronous data flow -- to model a challenging industrial case study that...
192
click to vote
DAGSTUHL
2006
15 years 9 months ago
2006
Partially ordered sets, causets, partially ordered spaces and their local counterparts are now often used to model systems in computer science and theoretical physics. The order mo...
182
click to vote
CG
2007
Springer
15 years 7 months ago
2007
Springer
In this paper we address interactive shape modelling of geometric shapes defined by mathematical functions. We introduce mathematical operators that implement modifications of g...