275 search results - page 13 / 55 » Operational and Logical Semantics for Polling Real-Time Syst... |
102
click to vote
SBCCI
2004
ACM
15 years 5 months ago
2004
ACM
Digital Control System in the industry has been used in most of the applications based on expensive Programmable Logical Controllers (PLC). These Systems are, in general, highly c...
124
click to vote
DALT
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We describe a model-checking based approach to verification of programs written in the agent programming language Dribble. We define a logic (an extension of the branch...
126
click to vote
ACL
2007
15 years 1 months ago
2007
This paper presents the first empirical results to our knowledge on learning synchronous grammars that generate logical forms. Using statistical machine translation techniques, a...
97
Voted
ECSQARU
2003
Springer
15 years 5 months ago
2003
Springer
In this paper, we propose some extensions of epistemic logic for reasoning about information fusion. The fusion operators considered in this paper include majority merging, arbitra...
126
click to vote
CADE
1992
Springer
15 years 3 months ago
1992
Springer
Abstract. We exhibit a methodology for formulating and verifying metatheorems about deductive systems in the Elf language, an implementation of the LF Logical Framework with an ope...