7452 search results - page 1389 / 1491 » A Semantics for Multiprocessor Systems |
114
click to vote
FUIN
2007
15 years 4 months ago
2007
Abstract. Josephs and Udding’s DI-Algebra offers a convenient way of specifying and verifying designs that must rely upon delay-insensitive signalling between modules (asynchrono...
135
click to vote
PAA
2008
15 years 4 months ago
2008
Abstract This paper focuses on human behavior recognition where the main problem is to bridge the semantic gap between the analogue observations of the real world and the symbolic ...
112
click to vote
IJAR
2007
15 years 4 months ago
2007
The problem of merging multiple sources of information is central in many information processing areas such as databases integrating problems, multiple criteria decision making, e...
142
click to vote
SAC
2006
ACM
15 years 4 months ago
2006
ACM
Model transformations are frequently applied in business process modeling to bridge between languages on a different abstraction and formality. In this paper, we define a transfor...
149
click to vote
IMCS
2007
15 years 4 months ago
2007
Setting up runtime security policies as required for firewalls or as envisioned by policy languages for the Semantic Web is a difficult task, especially for lay users who have l...