1318 search results - page 11 / 264 » The formal semantics of the timeER model |
110
click to vote
IFIP
2010
Springer
14 years 4 months ago
2010
Springer
This paper formalizes the semantics of trust and studies the transitivity of trust. On the Web, people and software agents have to interact with "strangers". This makes ...
118
click to vote
JAR
2008
14 years 9 months ago
2008
This article presents the formal verification, using the Coq proof assistant, of a memory model for low-level imperative languages such as C and compiler intermediate languages. Be...
BPSC
2009
14 years 10 months ago
2009
Process modelling systems are complex and difficult to compare. A key attribute of any process modelling formalism or tool is time which involves how it handles and represents tem...
100
click to vote
UML
1998
Springer
15 years 1 months ago
1998
Springer
The Uni ed Modeling Language UML is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML needs a well-de ned, fully expl...
ISOLA
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Memory models of shared memory concurrent programs define the values a read of a shared memory location is allowed to see. Such memory models are typically weaker than t...