1914 search results - page 283 / 383 » Abstract lambda-Calculus Machines |
ECTEL
2007
Springer
2007
Springer
Reasoning-Based Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture
14 years 2 months ago
Abstract. We present a service-oriented personalization system, set in an educational framework, based on a semantic annotation of courses, given at a knowledge level (what the cou...
ECTEL
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. During the last years a series of repositories containing learning contents for architecture have been created. With all the repositories financed, designed, implemented...
ESWS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. The vision of semantic business processes is to enable the integration and inter-operability of business processes across organizational boundaries. Since different orga...
EUROPAR
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Clusters of loosely connected machines are becoming an important model for commercial computing. The cost/performance ratio makes these scale-out solutions an attractive ...
FMICS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...