2108 search results - page 236 / 422 » An Operational Semantics for Stateflow |
149
Voted
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
109
Voted
TGC
2005
Springer
15 years 10 months ago
2005
Springer
Dynamic rebinding is the ability of changing the definitions of names at execution time. While dynamic rebinding is clearly useful in practice, and increasingly needed in modern s...
156
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
The aim of this article is to revisit Dalal’s operator for belief revision. Dalal has proposed a technique for revising belief bases based on the minimization of a distance betw...
142
click to vote
VLDB
2004
ACM
15 years 10 months ago
2004
ACM
SQL in the IBM® DB2® Universal Database™ for Linux®, UNIX®, and Windows® (DB2 UDB) database management product has been extended to support nested INSERT, UPDATE, and DELET...
148
Voted
WDAG
2004
Springer
15 years 10 months ago
2004
Springer
We apply the classic theory of linearizability to operations that must wait for some other thread to establish a precondition. We model such an operation as a request and a follow-...