1187 search results - page 86 / 238 » Computation in Extended Argumentation Frameworks |
121
click to vote
CONCUR
2009
Springer
15 years 5 months ago
2009
Springer
We define an extension of forest algebra for -forests. We show how the standard algebraic notions (free object, syntactic algebra, morphisms, etc.) extend to the infinite case. To ...
134
click to vote
FMOODS
2003
15 years 2 months ago
2003
This work aims to extend the algebraical approach to graph transformation to model object-oriented systems structures and computations. A graph grammar based formal framework for o...
113
click to vote
HICSS
1994
IEEE
15 years 5 months ago
1994
IEEE
Meeting research and especially research on Computer Supported Meetings of natural teams is not available in abundance. What is reported of meetings often uses a rather limited th...
112
click to vote
DAC
2005
ACM
16 years 2 months ago
2005
ACM
As Si CMOS devices are scaled down into the nanoscale regime, current computer architecture approaches are reaching their practical limits. Future nano-architectures will confront...
108
click to vote
STOC
2004
ACM
16 years 1 months ago
2004
ACM
We show how to securely realize any multi-party functionality in a way that preserves security under an a-priori bounded number of concurrent executions, regardless of the number ...