105 search results - page 2 / 21 » Bridging the Gap between Abstract Argumentation Systems and ... |
CAV
2003
Springer
13 years 10 months ago
2003
Springer
The paper considers the problem of checking abstraction between two finite-state fair discrete systems (FDS). In automata-theoretic terms this is trace inclusion between two nond...
ICCD
2008
IEEE
14 years 2 months ago
2008
IEEE
— This paper looks at designing circuit elements that will be constructed with nanoscale magnets within the Quantum-dot Cellular Automata (QCA) computational paradigm. In magneti...
WECWIS
2009
IEEE
14 years 8 days ago
2009
IEEE
—People, companies, and public authorities can now have a strong on-line presence and a huge amount of interactions on the Internet, made possible by the impressive growth of the...
ETFA
2005
IEEE
13 years 11 months ago
2005
IEEE
Abstract – Plug-and-play is an important mechanism for achieving component integration and improving interoperability in smart transducer systems. While recent research in smart ...
ICWE
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. The Web is being consolidating as the main platform for the development of applications. Moreover, these applications are not conceived just as isolated systems. This fac...