1925 search results - page 44 / 385 » Dynamic Typing |
EVOW
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. In this paper we propose a new benchmark problem for dynamic combinatorial optimisation. Unlike most previous benchmarks, we focus primarily on the underlying dynamics of...
LICS
1990
IEEE
13 years 11 months ago
1990
IEEE
Reasoning about permissions and obligations sometimes requires to distinguish more than one level of permission: certain actions are preferable to others, or one has more confiden...
AIRS
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. As the type of content available on the web is becoming increasingly diverse, a particular challenge is to properly determine the types of documents sought by a user, tha...
FPCA
1991
13 years 11 months ago
1991
Objects with dynamic types allow the integration of operations that essentially require runtime type-checking into statically-typed languages. This article presents two extensions...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
Agents in an organization need to coordinate their actions in order to reach the organizational goals. This research describes the relation between types of coordination and the au...