275 search results - page 9 / 55 » Operational and Logical Semantics for Polling Real-Time Syst... |
61
Voted
JANCL
2008
14 years 9 months ago
2008
Consider any logical system, what is its natural repertoire of logical operations? This question has been raised in particular for first-order logic and its extensions with genera...
72
Voted
TYPES
1993
Springer
15 years 1 months ago
1993
Springer
Abstract. We explore the expressive power of the formalism called Natural Operational Semantics, NOS, introduced by Burstall and Honsell for defining the operational semantics of ...
RTSS
2005
IEEE
15 years 3 months ago
2005
IEEE
The periodic resource model for hierarchical, compositional scheduling abstracts task groups by resource requirements. We study this model in the presence of dataflow constraints...
86
Voted
RTCSA
2008
IEEE
15 years 3 months ago
2008
IEEE
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
116
click to vote
RR
2009
Springer
15 years 2 months ago
2009
Springer
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In t...