1733 search results - page 289 / 347 » On the naturalness of software |
166
click to vote
CAI
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. This paper introduces the model-based software development lifecycle model SMA--the Smyle Modeling Approach--which is centered around Smyle. Smyle is a dedicated learning...
180
click to vote
ENTCS
2010
15 years 3 months ago
2010
Our goal is to provide a top-down approach to biomolecular computation. In spite of widespread discussion about connections between biology and computation, one question seems not...
186
click to vote
ENTCS
2010
15 years 3 months ago
2010
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...
166
click to vote
CMPB
2010
15 years 1 months ago
2010
Steady state flux balance analysis (FBA) for cellular metabolism is used, e.g., to seek information on the activity of the different pathways under equilibrium conditions, or as a...
196
click to vote
CSCW
2011
ACM
15 years 1 months ago
2011
ACM
The Technology for Emerging Markets (TEM) group at Microsoft Research India seeks to address the needs and aspirations of people in the world's developing communities. Our re...