39 search results - page 8 / 8 » Integrating Automated and Interactive Protocol Verification |
TROB
2002
13 years 5 months ago
2002
Reconfigurable software is highly desired for automated machine tool control systems for low-cost products and short time to market. In this paper, we propose a software architectu...
BMCBI
2007
13 years 6 months ago
2007
Background: Traditional HTML interfaces for input to and output from Bioinformatics analysis on the Web are highly variable in style, content and data formats. Combining multiple ...
IEEESCC
2007
IEEE
14 years 17 days ago
2007
IEEE
eb services are becoming widely deployed to implement the automation of business processes such as supply chain management, inventory tracking, and healthcare management, just to ...
IT
2008
13 years 6 months ago
2008
provides a powerful abstraction basically allowing to perceiving all compute resources as entities that can be dynamically discovered and composed. These entities are called servic...