2604 search results - page 127 / 521 » General constant expressions for system programming language... |
CCS
2004
ACM
14 years 2 months ago
2004
ACM
Comparing the expressive power of access control models is recognized as a fundamental problem in computer security. Such comparisons are generally based on simulations between di...
AAAI
1996
13 years 10 months ago
1996
This paper describes the spatial aggregation language and its applications. Spatial aggregation comprises a framework and a mechanism for organizing computations around image-like...
SFP
2003
13 years 10 months ago
2003
Abstract In distance learning the lack of direct communication between teachers and learners makes it difficult to provide direct assistance to students while they are solving the...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
In the literature on agent systems, the proactive behavior of agents is often modeled in terms of goals that the agents pursue. We review a number of commonly-used existing goal t...
PPDP
2009
Springer
14 years 3 months ago
2009
Springer
We propose a novel type inference algorithm for a dependentlytyped functional language. The novel features of our algorithm are: (i) it can iteratively refine dependent types wit...