2036 search results - page 69 / 408 » A generic type-and-effect system |
118
click to vote
DKE
1998
15 years 8 days ago
1998
The main purpose of this paper is to investigate the characteristics that distinguish spatial databases systems from traditional ones. Hereto, we give an overview of some well-kno...
105
click to vote
AMC
2000
15 years 13 days ago
2000
We study a class of discrete dynamical systems that is motivated by the generic structure of simulations. The systems consist of the following data: (a) a
102
Voted
ICALT
2009
IEEE
15 years 7 months ago
2009
IEEE
Supporting students in the acquisition of argumentation skills is an important goal of educational technology. However, there has not been much work done towards developing generi...
LICS
2006
IEEE
15 years 6 months ago
2006
IEEE
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...
IADIS
2004
15 years 2 months ago
2004
In this paper we present the information life cycle and analyze the importance of managing the corporate application portfolio across this life cycle. The approach presented here ...