603 search results - page 62 / 121 » A Formal Operational Semantics for SOFL |
135
click to vote
RSFDGRC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper, we propose a logical framework for reasoning about uncertain belief fusion. The framework is a combination of multi-agent epistemic logic and possibilistic...
144
click to vote
APLAS
2001
ACM
15 years 8 months ago
2001
ACM
Exception analyses so far cannot provide information on the propagation of thrown exceptions, which is necessary to construct interprocedural control flow graph, visualize exceptio...
138
click to vote
IJCIS
1998
15 years 4 months ago
1998
The problem of integrating information from con icting sources comes up in many current applications, such as cooperative information systems, heterogeneous databases, and multi-a...
206
click to vote
TLDI
2010
ACM
16 years 1 months ago
2010
ACM
ML modules are a powerful language mechanism for decomposing programs into reusable components. Unfortunately, they also have a reputation for being “complex” and requiring fa...
133
click to vote
FTRTFT
1998
Springer
15 years 8 months ago
1998
Springer
Visual description techniques are particularly important for the design of hybrid systems because specifications of such systems must usually be discussed between engineers from a ...