3307 search results - page 419 / 662 » The meaning of concurrent programs |
177
click to vote
UM
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes the evaluation of a Scrutable User Modelling Infrastructure. SUMI is intended to form a service to allow users to share their user models from social e-network...
185
click to vote
PEPM
2007
ACM
16 years 1 months ago
2007
ACM
Having been convinced of the potential benefits of partial evaluation, we wanted to conduct some experiments in our favourite Computer Algebra System, Maple. Maple is a large lan...
169
click to vote
PAPM
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents a modelling language, called MoDeST, for describing the behaviour of discrete event systems. The language combines conventional programming constructs – such ...
191
click to vote
AOSD
2007
ACM
15 years 11 months ago
2007
ACM
Configurability is a major issue in the domain of embedded system software. Existing systems specifically lack good techniques to implement configurability of architectural OS con...
220
click to vote
SIMULATION
1998
15 years 6 months ago
1998
A decision support system for the management of an intermodal container terminal is presented. Among the problems to be solved, there are the spatial allocation of containers on t...