580 search results - page 31 / 116 » Some Computational Aspects of distance-sat |
CSFW
2000
IEEE
14 years 2 months ago
2000
IEEE
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...
ICARIS
2007
Springer
14 years 1 months ago
2007
Springer
In this conceptual paper, some features of regulatory T cells are described. These cells have been receiving an increasing attention in Immunological research, due to their importa...
AC
2002
Springer
13 years 9 months ago
2002
Springer
nce of computation has systematically abstracted away the physical world. Embedded software systems, however, engage the physical world. Time, concurrency, liveness, robustness, c...
ICCV
1999
IEEE
14 years 2 months ago
1999
IEEE
Specularities on surfaces with tangential hairs or grooves are readily observable in nature. Examples of such phenomena are the arched or looped highlights observed on horses and ...
APCHI
2004
IEEE
14 years 1 months ago
2004
IEEE
One component of a user's interaction with computer systems is commonly referred to as `flow'. Flow is an important consideration in interactive system design as it enca...