2108 search results - page 39 / 422 » An Operational Semantics for Stateflow |
75
Voted
SEMWEB
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Policies are declarations of constraints on the behaviour of components within distributed systems, and are often used to capture norms within agent-based systems. A few ...
EDOC
2006
IEEE
15 years 3 months ago
2006
IEEE
Service oriented software architectures will form the core of operational enterprise IT landscapes in the future.
AMSTERDAM
2009
14 years 7 months ago
2009
This paper offers an account of the semantics of count nous. I show that neither the atomic/nonatomic distinction nor the homogeneous/non-homogeneous distinction is sufficient to ...
JCS
1998
14 years 9 months ago
1998
Multilevel transactions have been proposed for multilevel secure databases; in contrast to most proposals, such transactions allow users to read and write across multiple security...
PAMI
2011
14 years 4 months ago
2011
—Existing color constancy methods are all based on specific assumptions such as the spatial and spectral characteristics of images. As a consequence, no algorithm can be conside...