3948 search results - page 480 / 790 » Integration Workbench: Integrating Schema Integration Tools |
184
click to vote
ICIW
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Composition of web services is much studied to support business-to-business and enterprise application integration in e-Commerce. Current web service composition approa...
194
click to vote
ISORC
2007
IEEE
16 years 1 months ago
2007
IEEE
Methodologies, techniques and tools that currently support the embedded systems (ESs) development process prove inadequate for today’s complex ESs. Adopted traditional architect...
161
click to vote
ISVLSI
2007
IEEE
16 years 1 months ago
2007
IEEE
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...
176
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...
169
click to vote
DFG
2007
Springer
16 years 28 days ago
2007
Springer
: In urban planning, sophisticated simulation models are key tools to estimate future population growth for measuring the impact of planning decisions on urban developments and the...