2338 search results - page 50 / 468 » Separation in Theory - Coordination in Practice |
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
A knowledge gap exists between what emergency responders know from their direct experience and what emergency planners know from analysis and reflection. The theory of practical d...
BEHAVIOURIT
2007
13 years 9 months ago
2007
This paper presents a longitudinal study of the course ‘High-tech Entrepreneurship and New Media’. The course design is based on socio-cultural theories of learning and consid...
INTERACT
2003
13 years 10 months ago
2003
: Activity Theory (AT) has been a recognised framework for enhancing design practices in HCI and related disciplines for a couple of decades. In most cases, AT has been deployed as...
CIE
2008
Springer
13 years 11 months ago
2008
Springer
We study the shrinking and separation properties (two notions well-known in descriptive set theory) for NP and coNP and show that under reasonable complexity-theoretic assumptions...
ENTCS
2008
13 years 9 months ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...