250 search results - page 1 / 50 » Regular Types for Active Objects |
OOPSLA
1993
Springer
13 years 9 months ago
1993
Springer
ECOOP
2003
Springer
13 years 10 months ago
2003
Springer
TIM
2010
12 years 11 months ago
2010
Electrical capacitance tomography (ECT) attempts to image the permittivity distribution of an object by measuring the electrical capacitance between sets of electrodes placed aroun...
GIS
2006
ACM
14 years 5 months ago
2006
ACM
Creating complex spatio?temporal simulation models is a hot issue in the area of spatio?temporal databases [7]. While existing Moving Object Simulators (MOSs) address different ph...
ECOOP
2009
Springer
14 years 5 months ago
2009
Springer
We propose a novel approach based on coinductive logic to specify type systems of programming languages. The approach consists in encoding programs in Horn formulas which are inter...