1078 search results - page 166 / 216 » The Modal Logic of Probability |
153
Voted
APSEC
2008
IEEE
15 years 5 months ago
2008
IEEE
Reactive systems are often described by interconnecting sub-components along architectural connectors defining communication policies. Generally, such global systems may exhibit p...
129
Voted
JLP
2006
15 years 3 months ago
2006
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...
113
Voted
AI
2004
Springer
15 years 3 months ago
2004
Springer
We give a formal semantics for a highly expressive language for representing temporal relationships and events. This language, which we call Versatile Event Logic (VEL), provides ...
131
Voted
RR
2010
Springer
15 years 2 months ago
2010
Springer
For multimedia interpretation, and in particular for the combined interpretation of information coming from different modalities, a semantically well-founded formalization is requ...
147
Voted
DSS
2002
15 years 3 months ago
2002
Recent research has sought to develop formal languages for business communication as more expressive, flexible and powerful alternatives to current electronic data interchange (ED...