Sciweavers

3399 search results - page 295 / 680
» Requirements Development in Scenario-Based Design
Sort
View
TSP
2010
15 years 1 months ago
Selection policy-induced reduction mappings for Boolean networks
Developing computational models paves the way to understanding, predicting, and influencing the long-term behavior of genomic regulatory systems. However, several major challenges ...
Ivan Ivanov, Plamen Simeonov, Noushin Ghaffari, Xi...
AO
2011
154views more  AO 2011»
15 years 1 months ago
MIREOT: The minimum information to reference an external ontology term
While the Web Ontology Language (OWL) provides a mechanism to import ontologies, this mechanism is not always suitable. First, given the current state of editing tools and the iss...
Mélanie Courtot, Frank Gibson, Allyson L. L...
AIED
2011
Springer
14 years 10 months ago
SMART: Speech-enabled Mobile Assisted Reading Technology for Word Comprehension
In this study, we designed and developed two educational games on mobile phones with support for speech-recognition to examine and train the cognitive underpinnings of word reading...
Anuj Kumar, Pooja Reddy, Matthew Kam
FTRTFT
1998
Springer
15 years 11 months ago
On the Need for Practical Formal Methods
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
Constance L. Heitmeyer
CC
2001
Springer
150views System Software» more  CC 2001»
15 years 10 months ago
SmartTools: A Generator of Interactive Environments Tools
SmartTools is a development environment generator that provides a structure editor and semantic tools as main features. The well-known visitor pattern technique is commonly used fo...
Isabelle Attali, Carine Courbis, Pascal Degenne, A...