Sciweavers

7080 search results - page 462 / 1416
» Designing High Integrity Systems Using Aspects
Sort
View
144
Voted
DBPL
1999
Springer
125views Database» more  DBPL 1999»
15 years 9 months ago
An Overview of Souk Nets: A Component-Based Paradigm for Data Source Integration
Construction of complex software systems with largely off-the-shelf components has become a reality with the wide availability and acceptance of component frameworks and distribut...
William J. McIver Jr., Karim Keddara, Christian Oc...
186
Voted
BMCBI
2011
14 years 11 months ago
PheMaDB: A solution for storage, retrieval, and analysis of high throughput phenotype data
Background: OmniLog™ phenotype microarrays (PMs) have the capability to measure and compare the growth responses of biological samples upon exposure to hundreds of growth condit...
Wenling E. Chang, Keri Sarver, Brandon W. Higgs, T...
FDL
2003
IEEE
15 years 10 months ago
Using Symbolic Simulation for Bounded Property Checking
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
Jürgen Ruf, Prakash Mohan Peranandam, Thomas ...
IVC
2000
182views more  IVC 2000»
15 years 4 months ago
Expert system for automatic analysis of facial expressions
This paper discusses our expert system called Integrated System for Facial Expression Recognition (ISFER), which performs recognition and emotional classification of human facial ...
Maja Pantic, Léon J. M. Rothkrantz
160
Voted
ACMDIS
2004
ACM
15 years 10 months ago
Making tea: iterative design through analogy
The success of translating an analog or manual practice into a digital interactive system may depend on how well that translation captures not only the functional what and how asp...
Monica M. C. Schraefel, Gareth V. Hughes, Hugo R. ...