1604 search results - page 46 / 321 » Development Separation in Lambda-Calculus |
102
Voted
SIGSOFT
2004
ACM
16 years 1 months ago
2004
ACM
The principle of information hiding has been very influential in software engineering since its inception in 1972. This principle prescribes that software modules hide implementat...
108
click to vote
SAC
2008
ACM
15 years 8 days ago
2008
ACM
This paper introduces an approach to develop componentbased adaptive distributed applications. Our approach separates the communication and the functional aspects of a distributed...
140
Voted
JCSS
2011
14 years 7 months ago
2011
It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal a...
101
Voted
BMCBI
2008
15 years 28 days ago
2008
Background: The discovery of biomarkers is an important step towards the development of criteria for early diagnosis of disease status. Recently electrospray ionization (ESI) and ...
127
click to vote
PR
2011
14 years 3 months ago
2011
The existing Multi-View Learning (MVL) learns how to process patterns with multiple information sources. In generalization this MVL is proven to have a significant advantage over...