2108 search results - page 150 / 422 » An Operational Semantics for Stateflow |
151
click to vote
KBS
2007
15 years 4 months ago
2007
Commitment management is a key issue in service-provisioning in the context of virtual organisations (VOs). A service-provider — which may be a single agent acting within an orga...
142
click to vote
SIES
2007
IEEE
15 years 11 months ago
2007
IEEE
The properties of a domain oriented modelling approach or language are determined by the dominant semantics of the domain. A significant subclass that needs particular attention,...
159
click to vote
AIME
2007
Springer
15 years 11 months ago
2007
Springer
Software applications that work with biomedical data have significant knowledge-management requirements. Formal knowledge models and knowledge-based methods can be very useful in m...
124
click to vote
OTM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We study large-scale distributed cooperative systems that use optimistic replication. We represent a system as a graph of actions (operations) connected by edges that rei...
150
click to vote
VLDB
2005
ACM
15 years 10 months ago
2005
ACM
Schemas evolve over time to accommodate the changes in the information they represent. Such evolution causes invalidation of various artifacts depending on the schemas, such as sc...