1915 search results - page 222 / 383 » A language for functional interpretation of model based simu... |
158
click to vote
MDM
2004
Springer
15 years 10 months ago
2004
Springer
This paper discusses the problem of content adaptation for mobile devices. The adaptation considers the context of the client and also the environment where the client request is ...
132
click to vote
ERSHOV
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The Java Supercompiler (JScp) is a specializer of Java programs based on the Turchin's supercompilation method and extended to support imperative and object-oriented...
194
click to vote
EATIS
2009
ACM
15 years 7 months ago
2009
ACM
In this paper, we describe our work in developing an agent based smart house platform using TAOM4E development methodology and the JADE-platform with the Jadex-extension. In order...
115
click to vote
IFIP
1999
Springer
15 years 8 months ago
1999
Springer
Most control systems of flexible production cells have a hierarchical structure. They become very complicated and difficult to maintain and modify when the underlying production c...
147
Voted
TCS
2011
14 years 11 months ago
2011
New, simple, proofs of soundness (every representable function lies in a given complexity class) for Elementary Affine Logic, LFPL and Soft Affine Logic are presented. The proofs ...