1453 search results - page 73 / 291 » State and history in operating systems |
IFIPTCS
2000
15 years 4 months ago
2000
Abstract The sos formats ensuring that bisimilarity is a congruence often fail in the presence of structural axioms on the algebra of states. Dynamic bisimulation, introduced to ch...
103
click to vote
ECLIPSE
2004
ACM
15 years 6 months ago
2004
ACM
Much research has been done on techniques to teach students how to program. However, it is usually difficult to quantify exactly how students work. Instructors typically only see ...
PVLDB
2008
15 years 4 hour ago
2008
Many stream-processing systems enforce an order on data streams during query evaluation to help unblock blocking operators and purge state from stateful operators. Such in-order p...
139
click to vote
RR
2009
Springer
15 years 5 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...
111
Voted
HYBRID
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...