Sciweavers

979 search results - page 141 / 196
» Generating a Prototype from a UML Model of System Requiremen...
Sort
View
BMCBI
2006
109views more  BMCBI 2006»
13 years 9 months ago
An integrated system for genetic analysis
Background: Large-scale genetic mapping projects require data management systems that can handle complex phenotypes and detect and correct high-throughput genotyping errors, yet a...
Simon Fiddy, David Cattermole, Dong Xie, Xiao Yuan...
ARC
2009
Springer
140views Hardware» more  ARC 2009»
14 years 3 months ago
FPGA-Based Anomalous Trajectory Detection Using SOFM
A system for automatically classifying the trajectory of a moving object in a scene as usual or suspicious is presented. The system uses an unsupervised neural network (Self Organi...
Kofi Appiah, Andrew Hunter, Tino Kluge, Philip Aik...
IJCIS
1998
116views more  IJCIS 1998»
13 years 8 months ago
Distributed Query Scheduling Service: An Architecture and Its Implementation
We present the systematic design and development of a distributed query scheduling service DQS in the context of DIOM, a distributed and interoperable query mediation system 26 ...
Ling Liu, Calton Pu, Kirill Richine
CAISE
2000
Springer
14 years 1 months ago
Extending a Conceptual Modelling Approach to Web Application Design
Abstract This article presents OO-HMethod, an extension of the OOMethod conceptual modelling approach to address the particulars associated with the design of web interfaces. It is...
Jaime Gómez, Cristina Cachero, Oscar Pastor
SBMF
2010
Springer
205views Formal Methods» more  SBMF 2010»
13 years 3 months ago
A High-Level Language for Modeling Algorithms and Their Properties
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
Sabina Akhtar, Stephan Merz, Martin Quinson