148 search results - page 25 / 30 » Automated Systematic Testing of Open Distributed Programs |
TES
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. The connectivity generated by the Internet is opening unprecedented opportunities of automating business-to-business collaborations. As a result, organisations of all siz...
96
Voted
BMCBI
2007
14 years 10 months ago
2007
Background: Modeling of metabolic networks includes tasks such as network assembly, network overview, calculation of metabolic fluxes and testing the robustness of the network. Re...
73
Voted
SIGSOFT
2007
ACM
15 years 11 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
83
Voted
VLSID
2008
IEEE
15 years 4 months ago
2008
IEEE
It is well-known that varying architectural, technological and implementation aspects of embedded microprocessors, such as ARM, can produce widely differing performance and power ...
77
Voted
ICDCS
2005
IEEE
15 years 3 months ago
2005
IEEE
We present middleware for a Server Development Environment that facilitates live development of SOAP and CORBA servers. As the underlying implementation platform, we use JPie, a t...