5154 search results - page 337 / 1031 » Modelling online education |
191
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
We are interested in verifying dynamic properties of finite state reactive systems under fairness assumptions by model checking. The systems we want to verify are specified throug...
184
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
This paper brings together two lines of research: implicit characterization of complexity classes by Linear Logic (LL) on the one hand, and computation over an arbitrary ring in t...
207
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
The aim of this paper is to deal with multi-physics simulation of micro-electro-mechanical systems (MEMS) based on an advanced numerical methodology. MEMS are very small devices i...
175
Voted
CORR
2007
Springer
15 years 7 months ago
2007
Springer
d abstractions for high-performance remote data access, mechanisms for scalable data replication, cataloging with rich semantic and syntactic information, data discovery, distribut...
170
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Today, hot embossing and injection molding belong to the established plastic molding processes in microengineering. Based on experimental findings, a variety of microstructures ha...