840 search results - page 106 / 168 » Test suite oscillations |
68
Voted
WCE
2007
15 years 1 months ago
2007
—Although the current E-Learning systems have many merits, many of them only treat advanced information technology as simple communication tools, and release some learning conten...
109
Voted
HICSS
2010
IEEE
15 years 1 months ago
2010
IEEE
Mobile learning exposes learning to the natural environment. If this environment is large, the learners have to navigate to find the learning objects or to explore the environment...
91
Voted
ENTCS
2008
15 years 18 days ago
2008
The better known methods of semantic tableaux for deciding satisfiability in propositional linear temporal logic generate graphs in addition to classical trees. The test of satisf...
ENTCS
2006
15 years 17 days ago
2006
We present GMC2 , a software model checker for GCC, the opensource compiler from the Free Software Foundation (FSF). GMC2 , which is part of the GMC static-analysis and model-check...
105
Voted
COR
2007
15 years 16 days ago
2007
A new problem encoding is devised for the minimum span frequency assignment problem in wireless communications networks which is compact and general. Using the new encoding, which...