1724 search results - page 145 / 345 » Models for Concurrency |
132
Voted
COOPIS
2002
IEEE
15 years 8 months ago
2002
IEEE
Abstract. In recent years ontologies – shared conceptualizations of some domain – are increasingly seen as the key to further automation of information processing. Although man...
118
Voted
GI
2009
Springer
15 years 8 months ago
2009
Springer
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
144
click to vote
CBSE
2005
Springer
15 years 9 months ago
2005
Springer
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After ...
141
Voted
ECBS
2007
IEEE
15 years 9 months 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...
137
click to vote
ASM
2000
ASM
15 years 7 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...