570 search results - page 83 / 114 » Architecture description in related standards |
DAC
2005
ACM
14 years 9 months ago
2005
ACM
Partitioned BDD-based algorithms have been proposed in the literature to solve the memory explosion problem in BDD-based verification. Such algorithms can be at times ineffective ...
EGOV
2009
Springer
14 years 3 months ago
2009
Springer
Harmonizing decentralized development of ICT solutions with centralized strategies, e.g., meant to favor reuse and optimization of resources, is a complex technical and organizatio...
AGENTS
1998
Springer
14 years 29 days ago
1998
Springer
We present a framework for de ning trading scenarios based on sh market auctions. In these scenarios, agents of arbitrary complexity can participate in electronic auctions under ...
IEEESCC
2009
IEEE
13 years 6 months ago
2009
IEEE
The Service Component Architecture (SCA) is a technology agnostic standard for developing and deploying distributed service-oriented applications. However, SCA does not define sta...
DEBU
2008
13 years 8 months ago
2008
In this paper, we describe the TIMBER XML database system implemented at University of Michigan. TIMBER was one of the first native XML database systems, designed from the ground ...