748 search results - page 90 / 150 » Mechanism design for abstract argumentation |
POPL
2008
ACM
14 years 10 months ago
2008
ACM
alyses are concerned with precise abstractions of the heap to capture detailed structural properties. To do so, they need to build and decompose summaries of disjoint memory regio...
WOWMOM
2009
ACM
14 years 4 months ago
2009
ACM
Abstract— Spectrum-agile radios, also known as cognitive radios, have a great potential to improve spectrum utilization by enabling dynamic access to the spectrum. A key challeng...
ISVLSI
2007
IEEE
14 years 4 months ago
2007
IEEE
Contemporary SoC design involves the proper selection of cores from a reference platform. Such selection implies the design exploration of alternative CPUs, which requires the gen...
ATC
2007
Springer
14 years 4 months ago
2007
Springer
Service-oriented architectures (SOA) and, in particular, Web Services designs are currently widely used for the development of open, large-scale interoperable systems. In those sys...
ICWE
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Engineering adaptable Web Information Systems (WIS) requires systematic design models and specification frameworks. A complete model-driven methodology like Hera disting...