Sciweavers

467 search results - page 35 / 94
» Construction of E-learning Platform
Sort
View
WCET
2010
14 years 9 months ago
METAMOC: Modular Execution Time Analysis using Model Checking
Safe and tight worst-case execution times (WCETs) are important when scheduling hard realtime systems. This paper presents METAMOC, a modular method, based on model checking and s...
Andreas E. Dalsgaard, Mads Chr. Olesen, Martin Tof...
JCIT
2010
99views more  JCIT 2010»
14 years 6 months ago
A Product Knowledge-Sharing System Focusing on Internet-mediated Mode
This research constructs a design-oriented, Internet-mediated, and knowledge-sharing architecture. Therein XML files serve as the basic exchange and storage format of knowledge te...
Hsin-Hsi Lai, Heng-Chang Lin, Yu-Cheng Chen
EUC
2008
Springer
15 years 1 months ago
Analyzing Privacy Designs of Mobile Social Networking Applications
The combined advances of open mobile platforms and online social networking applications (SNAs) are driving pervasive computing to the real-world users, as the mobile SNAs are exp...
Guanling Chen, Faruq Rahman
FPGA
2008
ACM
146views FPGA» more  FPGA 2008»
15 years 1 months ago
FPGA-optimised high-quality uniform random number generators
This paper introduces a method of constructing random number generators from four of the basic primitives provided by FPGAs: Flip-Flips, Lookup-Tables, Shift Registers, and RAMs. ...
David B. Thomas, Wayne Luk
LREC
2010
216views Education» more  LREC 2010»
15 years 1 months ago
BlogBuster: A Tool for Extracting Corpora from the Blogosphere
This paper presents BlogBuster, a tool for extracting a corpus from the blogosphere. The topic of cleaning arbitrary web pages with the goal of extracting a corpus from web data, ...
Georgios Petasis, Dimitrios Petasis