Sciweavers

1937 search results - page 68 / 388
» Starting B Specifications from Use Cases
Sort
View
ISMB
2007
15 years 6 months ago
A Chado case study: an ontology-based modular schema for representing genome-associated biological information
Motivation: A few years ago, FlyBase undertook to design a new database schema to store Drosophila data. It would fully integrate genomic sequence and annotation data with bibliog...
Chris Mungall, David B. Emmert
CORR
2006
Springer
136views Education» more  CORR 2006»
15 years 4 months ago
On the Capacity of Multiple Access Channels with State Information and Feedback
In this correspondence, the multiple access channel (MAC) with channel state is analyzed in a scenario where a) the channel state is known non-causally to the transmitters and b) t...
Wei Wu, Sriram Vishwanath, Ari Arapostathis
ENTCS
2010
103views more  ENTCS 2010»
15 years 1 months ago
Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
Olaf Owe, Martin Steffen, Arild B. Torjusen
ICST
2010
IEEE
15 years 2 months ago
Repairing GUI Test Suites Using a Genetic Algorithm
—Recent advances in automated functional testing of Graphical User Interfaces (GUIs) rely on deriving graph models that approximate all possible sequences of events that may be e...
Si Huang, Myra B. Cohen, Atif M. Memon
ECIS
2004
15 years 5 months ago
From websites to portals: success factors for business community portals
Many Governments are using funding initiatives to encourage businesses, particularly small businesses to adopt e-commerce technology. One currently popular approach in Australia, ...
Julie Fisher, Annemieke Craig