1481 search results - page 223 / 297 » Enriching the Software Development Process by Formal Methods |
102
click to vote
IUSED
2008
15 years 1 months ago
2008
Usability supporting architectural patterns (USAPs) have been shown to provide developers with useful guidance for producing a software architecture design that supports usability...
135
click to vote
RECOMB
2004
Springer
16 years 5 days ago
2004
Springer
In situ staining of a target mRNA at several time points during the development of a D. melanogaster embryo gives one a detailed spatio-temporal view of the expression pattern of ...
102
click to vote
ICSE
2009
IEEE-ACM
15 years 6 months ago
2009
IEEE-ACM
Adaptation is of utmost importance in systems developed by assembling reusable software services accessed through their public interfaces. This process aims at solving, as automat...
AAAI
2008
15 years 2 months ago
2008
Partially Observable Markov Decision Processes have been studied widely as a model for decision making under uncertainty, and a number of methods have been developed to find the s...
106
click to vote
ICRA
2009
IEEE
15 years 6 months ago
2009
IEEE
— An autonomous robot system that is to act in a real-world environment is faced with the problem of having to deal with a high degree of both complexity as well as uncertainty. ...