2909 search results - page 161 / 582 » Consistency of the theory of contexts |
144
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
This article presents results from a small-scale pilot study investigating linguistic production and structural patterns while multitasking and interrelating these findings with c...
167
click to vote
FSEN
2007
Springer
16 years 1 months ago
2007
Springer
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be the proof of congruence and, related to this, enhancements of the bisimul...
161
click to vote
CONTEXT
2005
Springer
16 years 21 days ago
2005
Springer
Most direct reference theorists believe that ‘I’ is a pure indexical. This means that when ‘I’ is uttered, it contributes with the speaker to what is said. But, from some c...
181
click to vote
FOSSACS
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. Motivated by recent work on the derivation of labelled transitions and bisimulation congruences from unlabelled reaction rules, we show how to solve this problem in the D...
145
click to vote
APSEC
2002
IEEE
16 years 4 days ago
2002
IEEE
Many automated programming environments construct software by integrating predefined components from a software library. A fundamental challenge in this process is to match the p...