5639 search results - page 897 / 1128 » Timed Abstract Non-interference |
122
click to vote
ICALP
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We describe SAFL, a call-by-value first-order functional language which is syntactically restricted so that storage may be statically allocated to fixed locations. Evalua...
125
click to vote
ITS
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. It is common to think of a "learner model" as a global description of a student's understanding of domain content. We propose a notion of learner model whe...
125
click to vote
MA
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Systems comprised of multiple interacting mobile agents provide an alternate network computing paradigm that integrates remote data access, message exchange and migration...
113
click to vote
ASAP
1997
IEEE
15 years 6 months ago
1997
IEEE
In this paper we present an approach for quantitative analysis of application-specific dataflow architectures. The approach allows the designer to rate design alternatives in a qu...
130
click to vote
CAIP
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. In this paper a new method for analyzing the intrinsic dimensionality (ID) of low dimensional manifolds in high dimensional feature spaces is presented. The basic idea is...