2108 search results - page 97 / 422 » An Operational Semantics for Stateflow |
EDOC
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper, we provide a semantic foundation for role-related concepts in Enterprise Modelling. We use a conceptual modelling framework to provide a wellfounded underpinning fo...
ECAI
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. We propose a very general syntactical notion of epistemic state and a compact axiomatization for iterated revision when the new information is an epistemic state. We set ...
LICS
1997
IEEE
15 years 2 months ago
1997
IEEE
In this paper, we incorporate a representation of the non-negative extended real numbers based on the composition of linear fractional transformations with nonnegative integer coe...
AAAI
2007
15 years 6 days ago
2007
In this paper, we consider the problem of composing a set of web services, where the requirements are specified in terms of the input and output messages of the composite workfl...
FORTE
2008
14 years 11 months ago
2008
The paper studies a distributed implementation method for the BIP (Behavior, Interaction, Priority) component framework for modeling heterogeneous systems. BIP offers two powerful ...