2108 search results - page 250 / 422 » An Operational Semantics for Stateflow |
111
click to vote
COLING
1996
15 years 5 months ago
1996
2 Focus theory Pulman has shown that Higher-Order Unifcation (HOU) can be used to model the interpretation of focus. In this paper, we extend the unification based approach to case...
125
click to vote
USENIX
1994
15 years 5 months ago
1994
SNP provides a high-level abstraction for secure end-toend network communications. It supports both stream and datagram semantics with security guarantees (e.g., data originauthen...
124
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
In this paper we present a new approach to data modelling, called the concept-oriented model (CoM), and describe its main features and characteristics including data semantics and ...
158
click to vote
TSE
2008
15 years 4 months ago
2008
Current text based Software Configuration Management (SCM) systems have trouble with refactorings. Refactorings result in global changes which lead to merge conflicts. A refactorin...
164
click to vote
SIGMETRICS
2002
ACM
15 years 4 months ago
2002
ACM
We demonstrate a framework for improving the availability of cluster based Internet services. Our approach models Internet services as a collection of interconnected components, e...