2136 search results - page 263 / 428 » A Game-Theoretic Operational Semantics |
184
click to vote
HYBRID
2010
Springer
16 years 1 months ago
2010
Springer
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
147
click to vote
DSN
2009
IEEE
16 years 1 months ago
2009
IEEE
We consider a set of clients collaborating through an online service provider that is subject to attacks, and hence y trusted by the clients. We introduce the abstraction of a fai...
158
click to vote
ADBIS
2008
Springer
16 years 26 days ago
2008
Springer
The event-condition-action paradigm (also known as triggers or ECA rules) gives a database “active” capabilities – the ability to react automatically to changes in the databa...
173
click to vote
ICDM
2007
IEEE
16 years 25 days ago
2007
IEEE
The convergence of embedded sensor systems and stream query processing suggests an important role for database techniques, in managing data that only partially – and often inacc...
179
click to vote
MEMOCODE
2007
IEEE
16 years 24 days ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...