47 search results - page 3 / 10 » csp2B: A Practical Approach to Combining CSP and B |
SCHULE
2001
Springer
13 years 10 months ago
2001
Springer
Abstract: Education is changing, following changes in society. The focus is shifting from teaching towards learning. And Informatics, more particularly Information and Communicatio...
JCAL
2002
13 years 5 months ago
2002
The Second Instructional Technology in Education Study: Module 2 (SITES M2) is a series of qualitative studies that identify and describe innovative pedagogical practices in 28 par...
DATE
2007
IEEE
13 years 11 months ago
2007
IEEE
Abstract— Modern integrated radio systems require highly linear analog/RF circuits. Two-tone simulations are commonly used to study a circuit’s nonlinear behavior. Very often, ...
CCS
2007
ACM
13 years 11 months ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
ESWS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. This paper presents a framework for the reuse and extension of existing, established vocabularies in the Semantic Web. Driven by the primary application of expert findin...