6054 search results - page 273 / 1211 » Implementation of Andorra-based Languages |
280
click to vote
POPL
2002
ACM
16 years 7 months ago
2002
ACM
Probability distributions are useful for expressing the meanings of probabilistic languages, which support formal modeling of and reasoning about uncertainty. Probability distribu...
169
click to vote
VL
2009
IEEE
16 years 1 months ago
2009
IEEE
When conceiving of and implementing interactive behaviors, most designers rely on professional software developers to prototype and implement their designs. They often use static ...
205
click to vote
LOPSTR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we focus on the problem of testing agent programs written in BUpL, an executable, high-level modelling agent language. Our approach consists of two main ste...
162
click to vote
IEEESCC
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a meta-model based approach to services applications deployment on constrained Execution Environments (EEs) which contain heterogeneous services implementation...
195
click to vote
SPIN
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. The semantics of modelling languages are not always specified in a precise and formal way, and their rather complex underlying models make it a non-trivial exercise to r...