263 search results - page 9 / 53 » A Scalable Approach to Multi-style Architectural Modeling an... |
ICUMT
2009
13 years 6 months ago
2009
Multicast conferencing is a rapidly-growing area of Internet use. Audio, video and other media such as shared whiteboard data can be distributed efficiently between groups of confe...
EDBT
2008
ACM
14 years 8 months ago
2008
ACM
Schema mapping algorithms rely on value correspondences ? i.e., correspondences among semantically related attributes ? to produce complex transformations among data sources. Thes...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
Scalable coordination is a key challenge in deployment of multiagent systems. Resource usage is one part of agent behavior which naturally lends itself to abstraction. CyberOrgs i...
ATVA
2009
Springer
14 years 17 days ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
AHS
2007
IEEE
14 years 18 days ago
2007
IEEE
In the system-on-chip (SoC) era, the growing number of functionalities included on a single chip requires the development of new design methodologies to keep the design complexity...