5638 search results - page 335 / 1128 » On presence |
179
click to vote
CMSB
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. One of the main challenges in systems biology is the establishment of the metabolome: a catalogue of the metabolites and biochemical reactions present in a specific orga...
168
click to vote
CRYPTO
2007
Springer
16 years 29 days ago
2007
Springer
We introduce a variant of the random oracle model where oracle-dependent auxiliary input is allowed. In this setting, the adversary gets an auxiliary input that can contain informa...
182
click to vote
ECAL
2007
Springer
16 years 29 days ago
2007
Springer
Agency detection is studied in a simple simulated model with embodied agents. Psychological experiments such as double TV-monitor experiments and perceptual crossing show the centr...
140
click to vote
ER
2007
Springer
16 years 29 days ago
2007
Springer
Representation and reasoning about information system (IS) requirements is facilitated with the use of goal models to describe the desired and undesired IS behaviors. One difficul...
194
click to vote
ESOP
2007
Springer
16 years 29 days ago
2007
Springer
The goal of our research project is to establish a type-based method for verification of certain critical properties (such as deadlockand race-freedom) of operating system kernels...