2227 search results - page 206 / 446 » Reversibility and Models for Concurrency |
173
click to vote
DAGSTUHL
2006
15 years 8 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...
156
click to vote
CG
2007
Springer
15 years 6 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...
192
click to vote
ECBS
2007
IEEE
16 years 29 days ago
2007
IEEE
There is an ever increasing concern about security threats as embedded systems are moving towards networked applications. Model based approaches have proven to be effective techni...
193
click to vote
ASM
2000
ASM
15 years 11 months ago
2000
ASM
We define the dynamic semantics of UML State Machines which integrate statecharts with the UML object model. The use of ASMs allows us (a) to rigorously model the event driven run...
196
click to vote
UML
1999
Springer
15 years 11 months ago
1999
Springer
The UML as standardized language for visual object-oriented modeling allows to capture the requirements as well as the structure and behavior of complex software systems. With the ...