Sciweavers

2039 search results - page 70 / 408
» Teaching Standards to Engineers
Sort
View
POPL
2006
ACM
16 years 6 months ago
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
Steve Bishop, Matthew Fairbairn, Michael Norrish, ...
EON
2003
15 years 7 months ago
Racer: A Core Inference Engine for the Semantic Web
In this paper we describe Racer, which can be considered as a core inference engine for the semantic web. The Racer inference server offers two APIs that are already used by at le...
Volker Haarslev, Ralf Möller
NAR
2011
267views Computer Vision» more  NAR 2011»
15 years 27 days ago
EcoCyc: a comprehensive database of Escherichia coli biology
EcoCyc (http://EcoCyc.org) is a comprehensive model organism database for Escherichia coli K-12 MG1655. From the scientific literature, EcoCyc captures the functions of individual...
Ingrid M. Keseler, Julio Collado-Vides, Alberto Sa...
DC
2001
15 years 7 months ago
The Meaning of LOM and LOM Authoring Tool on HRD
Activity for standardization about educational information is prosperous internationally. The LOM standard is meta-data about learning objects. Learning objects are every types of...
Kenji Hirata, Yoshiyuki Takaoka, Mamoru Ohta, Mits...
ITICSE
2004
ACM
15 years 12 months ago
Design and evolution of an undergraduate course on web application development
Web technologies have become essential in the computing curricula. However, teaching a Web development course to computing students is challenging because of large bodies of knowl...
Kwok-Bun Yue, Wei Ding 0003