2127 search results - page 63 / 426 » Software Automation |
139
click to vote
PEPM
2010
ACM
15 years 2 months ago
2010
ACM
Software engineering, automated reasoning, rule-based programming or specifications often use rewriting systems for which termination, among other properties, may have to be ensur...
124
Voted
BMCBI
2008
15 years 21 days ago
2008
Background: Several biological techniques result in the acquisition of functional sets of cDNAs that must be sequenced and analyzed. The emergence of redundant databases such as U...
93
Voted
HOTSWUP
2009
ACM
15 years 5 months ago
2009
ACM
Year after year, the frequency of updated releases of software continues to increase. Without an automated install process, the result is either that a system installs software wi...
IJSEKE
2011
14 years 4 months ago
2011
Software systems in safety-critical industrial automation systems, such as power plants and steel mills, become increasingly large, complex, and distributed. For assessing risks, l...
COMPSAC
2003
IEEE
15 years 5 months ago
2003
IEEE
With the rise of distributed e-commerce in recent years, demand for automated negotiation has increased. In turn, this has facilitated a demand for ever more complex algorithms to...