8903 search results - page 167 / 1781 » Alternative |
151
click to vote
DPPI
2007
ACM
15 years 10 months ago
2007
ACM
This paper reports on how we learned from an alternative practice, to design engaging interactive technology intended for a more general user group. We are investigating new types ...
148
click to vote
DNA
2006
Springer
15 years 10 months ago
2006
Springer
P system is a natural computing model inspired by behavior of living cells and their membranes. We show that (semi-)uniform families of P systems with active membranes can solve i...
169
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
Current systems used in education follow a consistent design pattern, one that is not supportive of lifelong learning or personalization, is asymmetric in terms of user capability,...
138
click to vote
APSEC
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper investigates model checking Object-Z classes via their translation to the input notation of the CSP model checker FDR. Such a translation must not only be concerned wit...
147
click to vote
APSEC
2003
IEEE
15 years 10 months ago
2003
IEEE
Using the language Z for more than specification is hindered by the fact that its algebra of schemas is not monotonic with respect to refinement; so specification is modular, but ...