21319 search results - page 3765 / 4264 » An Approach for Method Reengineering |
186
click to vote
AIEDU
2006
15 years 7 months ago
2006
Involving stakeholders at an early stage of learning environment design enables researchers to base a system around the needs of learners. By working directly with learners, resear...
184
click to vote
ALIFE
2006
15 years 7 months ago
2006
One of the major challenges in the field of neurally driven evolved autonomous agents is deciphering the neural mechanisms underlying their behavior. Aiming at this goal, we have d...
198
click to vote
ENTCS
2008
15 years 7 months ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
145
click to vote
ENTCS
2008
15 years 7 months ago
2008
A Network-on-Chip (NoC) is increasingly needed to interconnect the large number and variety of Intellectual Property (IP) cells that make up a System-on-Chip (SoC). The network mu...
187
click to vote
ENTCS
2008
15 years 7 months ago
2008
Petri nets are a formalism for modelling and validating critical systems. Generally, the approach to specification starts from an abstract view of the system under study. Once val...