Sciweavers

1306 search results - page 193 / 262
» An Experience-Based Approach for Integrating Architecture an...
Sort
View
ECTEL
2006
Springer
14 years 19 days ago
Production and Deployment of Educational Videogames as Assessable Learning Objects
Abstract. The generalization of game-based Learning Objects as serious learning material requires their integration into pre-existing e-learning infrastructure (systems and courses...
Iván Martínez-Ortiz, Pablo Moreno-Ge...
GLVLSI
2007
IEEE
153views VLSI» more  GLVLSI 2007»
13 years 10 months ago
Address generation for nanowire decoders
Nanoscale crossbars built from nanowires can form high density memories and programmable logic devices. To integrate such nanoscale devices with other circuits, nanowire decoders ...
Jia Wang, Ming-Yang Kao, Hai Zhou
FMCAD
2008
Springer
13 years 10 months ago
A Write-Based Solver for SAT Modulo the Theory of Arrays
The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solv...
Miquel Bofill, Robert Nieuwenhuis, Albert Oliveras...
ICDCS
2005
IEEE
14 years 2 months ago
Using a Layered Markov Model for Distributed Web Ranking Computation
The link structure of the Web graph is used in algorithms such as Kleinberg’s HITS and Google’s PageRank to assign authoritative weights to Web pages and thus rank them. Both ...
Jie Wu, Karl Aberer
UML
1998
Springer
14 years 1 months ago
Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams
The use of scenarios has become a popular technique for requirements elicitation and specification building. Since scenarios capture only partial descriptions of system behavior, ...
Ismaïl Khriss, Mohammed Elkoutbi, Rudolf K. K...