4211 search results - page 533 / 843 » A formal approach to MASQ |
165
click to vote
AH
2008
Springer
16 years 1 months ago
2008
Springer
Successful eLearning is predicated on the application of pedagogies appropriate to online education that respond to the capabilities and needs of the learners. Typically, designing...
181
click to vote
ANSS
2007
IEEE
16 years 1 months ago
2007
IEEE
DEVS is a formalism to describe generic dynamic systems in a hierarchical and modular way. We present new techniques for executing DEVS and CellDEVS models in parallel and distrib...
143
click to vote
ARITH
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— This paper explores the use of the double-base number system (DBNS) for constant integer multiplication. The DBNS recoding scheme represents integers – in this case c...
158
click to vote
CEC
2007
IEEE
16 years 1 months ago
2007
IEEE
— We present an ant model that solves a discrete foraging problem. We describe simulations and provide a complete convergence analysis: we show that the ant population computes t...
150
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Electricity restructuring is a complex, never-ending process that has engineering, economic, social, commercial, legal and policy dimensions and takes place within a broad societa...