848 search results - page 163 / 170 » A Formal Monitoring-Based Framework for Software Development... |
AISC
1998
Springer
14 years 29 days ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
ICSM
2008
IEEE
14 years 3 months ago
2008
IEEE
Up-to-date comments are critical for the successful evolution of a software application. When modifying a function, developers may update the comment associated with the function ...
IUI
2010
ACM
14 years 5 months ago
2010
ACM
Online news reading has become very popular as the web provides access to news articles from millions of sources around the world. A key challenge of news websites is to help user...
LSGRID
2004
Springer
14 years 2 months ago
2004
Springer
Many useful applications of simulation in computational cell biology, e.g. kinetic parameter estimation, Metabolic Control Analysis (MCA), and bifurcation analysis, require a large...
IUI
2010
ACM
14 years 5 months ago
2010
ACM
This paper describes our work in usage pattern analysis and development of a latent semantic analysis framework for interpreting multimodal user input consisting speech and pen ge...