2108 search results - page 335 / 422 » An Operational Semantics for Stateflow |
133
click to vote
SACMAT
2009
ACM
15 years 10 months ago
2009
ACM
We develop the foundations for a theory of Group-Centric Secure Information Sharing (g-SIS), characterize a specific family of models in this arena and identify several direction...
150
click to vote
CAISE
2007
Springer
15 years 10 months ago
2007
Springer
Data cleaning is the process of correcting anomalies in a data source, that may for instance be due to typographical errors, or duplicate representations of an entity. It is a cruc...
143
click to vote
NDSS
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper, we present an approach for realizing a safe execution environment (SEE) that enables users to “try out” new software (or configuration changes to existing soft...
119
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
Self-adjusting computation provides an evaluation model where computations can respond automatically to modifications to their data by using a mechanism for propagating modifica...
142
click to vote
WISE
2002
Springer
15 years 8 months ago
2002
Springer
To make the World Wide Web machine-understandable there is a strong demand both for languages describing metadata and for languages querying metadata. The Resource Description Fram...