2106 search results - page 201 / 422 » Operational Semantics for MSC'96 |
158
click to vote
CC
2010
Springer
16 years 25 days ago
2010
Springer
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...
169
click to vote
HYBRID
2010
Springer
16 years 25 days 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...
136
click to vote
DSN
2009
IEEE
16 years 23 days 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...
149
click to vote
ADBIS
2008
Springer
16 years 11 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...
164
click to vote
ICDM
2007
IEEE
16 years 10 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...