1187 search results - page 38 / 238 » Computation in Extended Argumentation Frameworks |
139
click to vote
ENTCS
2007
15 years 4 months ago
2007
ly positive maps (extended abstract) Peter Selinger 1 Department of Mathematics and Statistics Dalhousie University, Halifax, Nova Scotia, Canada Dagger compact closed categories ...
133
click to vote
ICEBE
2007
IEEE
15 years 10 months ago
2007
IEEE
In both E-Commerce (EC) and Service-Oriented Computing (SOC) environments, sellers or service providers interact with customers or service clients for services or transactions. Fr...
135
click to vote
ENTCS
2008
15 years 4 months ago
2008
d abstract) Peter Selinger1 Department of Mathematics and Statistics Dalhousie University, Halifax, Nova Scotia, Canada Dagger compact closed categories were studied by Abramsky a...
153
click to vote
CGO
2011
IEEE
14 years 8 months ago
2011
IEEE
Abstract—Current programming models and compiler technologies for multi-core processors do not exploit well the performance benefits obtainable by applying algorithm-specific, ...
161
click to vote
INFORMATICALT
2007
15 years 4 months ago
2007
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...