Sciweavers

291 search results - page 22 / 59
» Interface Input Output Automata
Sort
View
BMCBI
2008
130views more  BMCBI 2008»
14 years 12 months ago
IDEA: Interactive Display for Evolutionary Analyses
Background: The availability of complete genomic sequences for hundreds of organisms promises to make obtaining genome-wide estimates of substitution rates, selective constraints ...
Amy Egan, Anup Mahurkar, Jonathan Crabtree, Jonath...
ICST
2009
IEEE
15 years 6 months ago
Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles
It is challenging to test applications and functions for which the correct output for arbitrary input cannot be known in advance, e.g. some computational science or machine learni...
Christian Murphy, Kuang Shen, Gail E. Kaiser
MDAFA
2004
Springer
178views Hardware» more  MDAFA 2004»
15 years 5 months ago
Model Bus: Towards the Interoperability of Modelling Tools
MDA software development requires the interoperability of a wide range of modelling services (operations taking models as inputs and outputs), such as model edition, model transfor...
Xavier Blanc, Marie-Pierre Gervais, Prawee Sriplak...
ICWS
2009
IEEE
15 years 9 months ago
Enabling Scaleable, Efficient, Non-visual Web Browsing Services
Over the last few decades, the discipline of Web Accessibility has been focused on building more efficient and more effective speech generators for Web Browsers. The visual browse...
Ashish Verma, Tyrone Grandison, Himanshu Chauhan
HAPTICS
2006
IEEE
15 years 5 months ago
A Network-ready Multi-lateral High Fidelity Haptic Probe
We describe a system comprising two or several haptic probes each having a sensor, an actuator, and circuitry. The inputs and outputs can be connected to audio channels of standar...
Hsin-Yun Yao, Vincent Hayward