460 search results - page 22 / 92 » Abstract and Discrete Modeling of Spatio-Temporal Data Types |
TIC
1998
Springer
13 years 11 months ago
1998
Springer
In previous work, we presented a Typed Assembly Language (TAL). TAL is sufficiently expressive to serve as a target language for compilers of high-level languages such as ML. More...
DASFAA
2004
IEEE
13 years 11 months ago
2004
IEEE
In this paper, a State-Based Dynamic Transportation Network (SBDTN) model is presented, which can be used to describe the spatiotemporal aspect of temporally variable transportatio...
TLDI
2003
ACM
14 years 22 days ago
2003
ACM
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
FASE
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. The complexity of large system models in software engineering nowadays is mastered by using different views. View-based modeling aims at creating small, partial models, e...
AIME
2001
Springer
14 years 12 hour ago
2001
Springer
Abstract. Cancer spread is a non-deterministic dynamic process. As a consequence, the design of an assistant system for the diagnosis and prognosis of the extent of a cancer should...