Sciweavers

179 search results - page 18 / 36
» Specification of Software Component Requirements Using the T...
Sort
View
ECBS
1999
IEEE
171views Hardware» more  ECBS 1999»
13 years 11 months ago
Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific softwar...
Greg Nordstrom, Janos Sztipanovits, Gabor Karsai, ...
ICSE
2009
IEEE-ACM
14 years 7 months ago
Equality and hashing for (almost) free: Generating implementations from abstraction functions
ng Implementations from Abstraction Functions Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic and Daniel Jackson Computer Science and Artificial In...
Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph...
BMCBI
2010
133views more  BMCBI 2010»
13 years 6 months ago
New components of the Dictyostelium PKA pathway revealed by Bayesian analysis of expression data
Background: Identifying candidate genes in genetic networks is important for understanding regulation and biological function. Large gene expression datasets contain relevant info...
Anup Parikh, Eryong Huang, Christopher Dinh, Blaz ...
IJCNN
2006
IEEE
14 years 23 days ago
Vergence Control of 2 DOF Pan-Tilt Binocular Cameras using a Log-Polar Representation of the Visual Cortex
- This paper presents a neurologically inspired vergence control model that uses the optimization of the disparity error between interlaced cortical maps incident on the visual cor...
Alex Xuejie Zhang, Alex Leng Phuan Tay
ENTCS
2006
231views more  ENTCS 2006»
13 years 6 months ago
SaveCCM: An Analysable Component Model for Real-Time Systems
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
Jan Carlson, John Håkansson, Paul Pettersson