4359 search results - page 755 / 872 » Automated Pipeline Design |
WECWIS
2003
IEEE
14 years 2 months ago
2003
IEEE
With the growing number of marketplaces and trading partners in the e–commerce environment, software tools designed to act on behalf of human traders are increasingly used to au...
DOCENG
2003
ACM
14 years 2 months ago
2003
ACM
A number of applications that process XML documents interpret them as objects of application specific classes in a given domain. Generic interfaces such as SAX and DOM leave this ...
HT
2003
ACM
14 years 2 months ago
2003
ACM
This paper introduces an adaptable hypermedia approach applied to adaptive link annotation techniques. This approach suggests that the combination of direct manipulation with auto...
SIGDOC
2003
ACM
14 years 2 months ago
2003
ACM
In this paper, I discuss how we made single-sourcing work at Juniper Networks. This is a practical discussion of issues, problems, and successes. Categories and Subject Descriptor...
SIGSOFT
2003
ACM
14 years 2 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...