Sciweavers

7404 search results - page 496 / 1481
» New Tools in Education
Sort
View
ECBS
2005
IEEE
160views Hardware» more  ECBS 2005»
16 years 23 days ago
Building Compilers by Combining Algebras
Embedded systems present a wide variety of challenges for developers of language tools. Verification of correctness, flexibility for adding new language features, and retargetin...
Garrin Kimmell, Ed Komp, Perry Alexander
CASCON
2006
85views Education» more  CASCON 2006»
15 years 8 months ago
Trust by design: information requirements for appropriate trust in automation
Trust has, since the early stages of IBM's Autonomic Computing (AC) initiative, been recognized as an important factor in the success of new autonomic features. If operators ...
Pierre P. Duez, Michael Zuliani, Greg A. Jamieson
BMCBI
2008
91views more  BMCBI 2008»
15 years 7 months ago
Presenting and exploring biological pathways with PathVisio
nd: Biological pathways are a useful abstraction of biological concepts, and software tools to deal with pathway diagrams can help biological research. PathVisio is a new visualiz...
Martijn P. van Iersel, Thomas Kelder, Alexander R....
GG
2008
Springer
15 years 8 months ago
Model-Driven Development of Model Transformations
The model-driven development of model transformations requires both a technique to model model transformations as well as a means to transform transformation models. Therefore, t...
Pieter Van Gorp
ICCD
2005
IEEE
135views Hardware» more  ICCD 2005»
16 years 4 months ago
Extended Forward Implications and Dual Recurrence Relations to Identify Sequentially Untestable Faults
In this paper, we make two major contributions: First, to enhance Boolean learning, we propose a new class of logic implications called extended forward implications. Using a nove...
Manan Syal, Rajat Arora, Michael S. Hsiao