1678 search results - page 142 / 336 » An ASM Specification of C |
142
click to vote
JOCN
2006
15 years 5 months ago
2006
In an event-related fMRI study, we investigated the neurocognitive processes underlying deductive reasoning. We specifically focused on three temporally separable phases: (1) the ...
181
click to vote
PERCOM
2008
ACM
15 years 5 months ago
2008
ACM
The pervasive computing environment will be composed of heterogeneous services. In this work, we have explored how a domain specific language for service composition can be implem...
150
click to vote
SCP
2008
15 years 5 months ago
2008
An unpublished algorithm of Haldar and Vidyasankar implements an atomic variable of an arbitrary type T for one writer and one reader by means of 4 unsafe variables of type T , th...
148
click to vote
RAS
2006
15 years 5 months ago
2006
This article explores the assumption that a deeper (quantitative) understanding of the information-theoretic implications of sensory-motor coordination can help endow robots not o...
171
click to vote
RE
2006
Springer
15 years 5 months ago
2006
Springer
Assumptions are frequently made during requirements analysis of a system about the trustworthiness of its various components (including human components). These trust assumptions, ...