1486 search results - page 142 / 298 » A Logically Saturated Extension of |
169
click to vote
RTS
2002
15 years 5 months ago
2002
As desktop computer computational power continues to increases dramatically, it is becoming commonplace to run a combination of deadline-sensitive applications. Despite the prolif...
191
click to vote
TII
2010
15 years 21 days ago
2010
Abstract--CPU utilization control has recently been demonstrated to be an effective way of meeting end-to-end deadlines for distributed real-time systems running in unpredictable e...
183
click to vote
LFCS
2007
Springer
16 years 4 days ago
2007
Springer
We present a dynamic epistemic logic for knowledge change of rational agents. Existing approaches only deal with partial public announcements, that means an announcement may lead ...
149
click to vote
DEON
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper we investigate the specification and verification of information systems with an organizational structure. Such systems are modelled as a normative multia...
149
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
TCP-nets are an extension of CP-nets which allow the expression of conditional relative importance of pairs of variables. In this paper it is shown that a simple logic of condition...