2880 search results - page 329 / 576 » context 2007 |
157
click to vote
ENTCS
2007
15 years 6 months ago
2007
This paper proposes a calculus for describing communication-centred programs and discusses its use through a formal description of several use cases from real business protocols. ...
184
click to vote
ENTCS
2007
15 years 6 months ago
2007
syntax and explicit substitutions Brigitte Pientka1 School of Computer Science McGill University Montreal, Canada This paper sketches a foundation for programming with higher-orde...
149
click to vote
ENTCS
2007
15 years 6 months ago
2007
Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment oc...
153
click to vote
EOR
2007
15 years 6 months ago
2007
: New semiconductor wafer fabrication facilities use Front Opening Unified Pods (FOUPs) as a common unit of wafer transfer. Since the number of pods is limited due to high costs, a...
168
click to vote
ETS
2007
IEEE
15 years 6 months ago
2007
IEEE
We propose Lifelong Learning Organisers (LLOs) as tools to support the capturing, organisation and retrieval of personal learning experiences, resources and notes, over a range of...