Sciweavers

5184 search results - page 21 / 1037
» Computer support for mechatronic control system design
Sort
View
DISCO
1993
114views Hardware» more  DISCO 1993»
14 years 2 months ago
Gauss: A Parameterized Domain of Computation System with Support for Signature Functions
The fastest known algorithms in classical algebra make use of signature functions. That is, reducing computation with formulae to computing with the integers modulo p, by substitut...
Michael B. Monagan
HASE
2008
IEEE
13 years 10 months ago
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
Kohei Sakurai, Péter Bokor, Neeraj Suri
SIGCSE
2010
ACM
186views Education» more  SIGCSE 2010»
14 years 4 months ago
Teaching operating systems using virtual appliances and distributed version control
Students learn more through hands-on project experience for computer science courses such as operating systems, but providing the infrastructure support for a large class to learn...
Oren Laadan, Jason Nieh, Nicolas Viennot
EACL
2009
ACL Anthology
13 years 7 months ago
eHumanities Desktop - An Online System for Corpus Management and Analysis in Support of Computing in the Humanities
This paper introduces eHumanities Desktop- an online system for corpus management and analysis in support of Computing in the Humanities. Design issues and the overall architectur...
Rüdiger Gleim, Ulli Waltinger, Alexandra Erns...
IJNSEC
2006
112views more  IJNSEC 2006»
13 years 10 months ago
An Access Control System with Time-constraint Using Support Vector Machines
Access control is an important issue in information security. It is a necessary mechanism for protecting data in a computer system. In this paper, we apply support vector machines...
Chin-Chen Chang, Iuon-Chang Lin, Chia-Te Liao