3047 search results - page 286 / 610 » On the Meaning of Logical Completeness |
172
click to vote
AUTOMATICA
2005
15 years 7 months ago
2005
This note studies the asymptotic stabilization problem for controllable and observable, single-input single-output, linear, time-invariant, continuous-time systems by means of mem...
215
click to vote
ICWE
2010
Springer
15 years 6 months ago
2010
Springer
Since contextual information has potential to improve task-based applications, we provide an approach for integrating contextual information in task-based applications by consideri...
220
click to vote
CSL
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. One-counter processes are pushdown processes over a singleton stack alphabet (plus a stack-bottom symbol). We study the problems of model checking asynchronous products o...
203
click to vote
ICPPW
2008
IEEE
16 years 2 months ago
2008
IEEE
Event traces are helpful in understanding the performance behavior of message-passing applications since they allow in-depth analyses of communication and synchronization patterns...
171
click to vote
CALCO
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...