2106 search results - page 81 / 422 » Operational Semantics for MSC'96 |
DOOD
1995
Springer
15 years 1 months ago
1995
Springer
Semantics represents a major problem area for active databases inasmuch as (i) there is l framework for defining the abstract semantics of active rules, and (ii) the various syst...
FOSSACS
2009
Springer
15 years 4 months ago
2009
Springer
Reactive systems, proposed by Leifer and Milner, represent a meta-framework aimed at deriving behavioral congruences for those specification formalisms whose operational semantics...
CIRA
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— In human-robot communication it is often important to relate robot sensor readings to concepts used by humans. We believe that access to semantic maps will make it poss...
SEMWEB
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. The Rule Interchange Format Production Rule Dialect (RIFPRD) is a W3C Recommendation to define production rules for the Semantic Web, whose semantics is defined operation...
WIKIS
2009
ACM
15 years 4 months ago
2009
ACM
The work presented in the poster describes our collaborative approach to managing systems monitoring information in a Semantic Wiki. This allows to extend the applicability of man...