Sciweavers

5154 search results - page 189 / 1031
» Modelling online education
Sort
View
CORR
2007
Springer
114views Education» more  CORR 2007»
13 years 10 months ago
A Sequent Calculus for Modelling Interferences
A logic calculus is presented that is a conservative extension of linear logic. The motivation beneath this work concerns lazy evaluation, true concurrency and interferences in pro...
Christophe Fouqueré
CORR
2007
Springer
142views Education» more  CORR 2007»
13 years 10 months ago
Resource and Application Models for Advanced Grid Schedulers
: As Grid computing is becoming an inevitable future, managing, scheduling and monitoring dynamic, heterogeneous resources will present new challenges. Solutions will have to be ag...
Aleksandar Lazarevic, Lionel Sacks
CORR
2007
Springer
47views Education» more  CORR 2007»
13 years 10 months ago
Reduced-Order Modelling of the Bending of an Array of Torsional Micromirrors
An array of micromirrors for beam steering optical switching has been designed in a thick polysilicon technology. A novel semi-analytical method to calculate the static characteri...
A. Molfese, A. Nannini, F. Pieri
CORR
2010
Springer
72views Education» more  CORR 2010»
13 years 10 months ago
Simple Cellular Automata-Based Linear Models for the Shrinking Generator
- Structural properties of two well-known families of keystream generators, Shrinking Generators and Cellular Automata, have been analyzed. Emphasis is on the equivalenceof the bin...
Amparo Fúster-Sabater, Dolores de la Gu&iac...
ICDCSW
2009
IEEE
14 years 5 months ago
A Dynamic Battery Model for Co-design in Cyber-Physical Systems
We introduce a dynamic battery model that describes the variations of the capacity of a battery under time varying discharge current. This model supports a co-design approach for ...
Fumin Zhang, Zhenwu Shi, Wayne Wolf