1286 search results - page 154 / 258 » From System F to Typed Assembly Language |
ER
2001
Springer
14 years 1 months ago
2001
Springer
: In electronic commerce, two fundamental types of models are business models and process models. While a business model is concerned with value exchanges between actors, a process...
AAAI
1998
13 years 10 months ago
1998
We discuss what constitutes an integrated system in AI, and why AI researchers should be interested in building and studying them. Taking integrated systems to be ones that integr...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
— For the optimal approximation of multivariate Gaussian densities by means of Dirac mixtures, i.e., by means of a sum of weighted Dirac distributions on a continuous domain, a n...
SAC
1998
ACM
14 years 1 months ago
1998
ACM
This paper shows how a recently introduced class of applications can be solved by constraint programming. This new type of application is due to the emergence of special real-time...
CBSE
2004
Springer
14 years 2 months ago
2004
Springer
According to Szyperski, “a software component is a unit of composition with contractually specified interfaces and explicit context dependencies only”. But it is well known tha...