11561 search results - page 242 / 2313 » A Language for Biochemical Systems |
157
click to vote
CSFW
2005
IEEE
16 years 9 days ago
2005
IEEE
Real computing systems sometimes need to forget sensitive information. This paper explores the specification and semantics of information erasure policies, which impose a strong,...
165
click to vote
WCRE
2005
IEEE
16 years 7 days ago
2005
IEEE
— Chuck is a new code browser that allows navigation of a code base along semantic structures, such as data-flow and higher-order control-flow relationships. Employing the fast...
152
click to vote
CAISE
2003
Springer
15 years 12 months ago
2003
Springer
Providing technology support for older people offers distinct challenges for social and IT systems delivery. The definition and integration of services, the diversity of supply, va...
171
click to vote
HYBRID
2003
Springer
15 years 12 months ago
2003
Springer
The algorithmic analysis of timed automata is fundamentally limited by the undecidability of the universality problem. For this reason and others, there has been considerable inter...
171
click to vote
LCPC
1999
Springer
15 years 11 months ago
1999
Springer
Wavefront computations, characterized by a data dependent flow of computation across a data space, are receiving increasing attention as an important class of parallel computation...