2127 search results - page 83 / 426 » Software Automation |
124
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: MannDB was created to meet a need for rapid, comprehensive automated protein sequence analyses to support selection of proteins suitable as targets for driving the dev...
108
click to vote
BIRTHDAY
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Goguen emphasized long ago that colimits are how to compose systems [7]. This paper corroborates and elaborates Goguen's vision by presenting a variety of situations...
108
click to vote
ICECCS
2000
IEEE
15 years 7 months ago
2000
IEEE
Production of a large-scale software system involves quite a few software components. It is very common to develop such software components in a distributed environment consisting...
148
click to vote
TASE
2010
IEEE
14 years 9 months ago
2010
IEEE
--This paper presents a novel approach to evaluate the response time in networked automation systems (NAS) that use a client/server protocol. The developments introduced are derive...
121
click to vote
LPAR
2005
Springer
15 years 8 months ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...