18429 search results - page 426 / 3686 » Typing dynamic typing |
139
click to vote
W2GIS
2005
Springer
16 years 10 days ago
2005
Springer
This paper discusses the dynamic presentation of heterogeneous spatio-temporal content along a trajectory. Applications based on this scheme provide users with the ability to view ...
168
click to vote
PPDP
2005
Springer
16 years 11 days ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
163
click to vote
ATAL
2004
Springer
16 years 8 days ago
2004
Springer
The process of pair partnership formation is an important infrastructure for many plausible MAS applications. Each agent evaluates potential partner agents, where each potential m...
177
click to vote
IWMM
2004
Springer
16 years 7 days ago
2004
Springer
The goal of the Cyclone project is to investigate type safety for low-level languages such as C. Our hardest challenge has been providing programmers control over memory managemen...
194
click to vote
SCOPES
2004
Springer
16 years 7 days ago
2004
Springer
An automated framework for code and data partitioning for the needs of data management is presented. The goal is to identify the main data types from the data management perspectiv...