2649 search results - page 244 / 530 » Temporal Theories of Reasoning |
193
click to vote
CMSB
2008
Springer
15 years 8 months ago
2008
Springer
Model checking has historically been an important tool to verify models of a wide variety of systems. Typically a model has to exhibit certain properties to be classed `acceptable&...
163
click to vote
COGSCI
2010
15 years 6 months ago
2010
What is the relationship between space and time in the human mind? Studies in adults show an asymmetric relationship between mental representations of these basic dimensions of ex...
197
click to vote
FM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
178
click to vote
SEFM
2005
IEEE
16 years 9 days ago
2005
IEEE
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...
189
click to vote
JUCS
2006
15 years 6 months ago
2006
: Our aim is to discuss what, when and, how deep logic should be taught in the computer science education in connection with the so called "Bologna process". We survey th...