Sciweavers

91 search results - page 4 / 19
» Advice to Authors of Extended Abstracts
Sort
View
CALCO
2005
Springer
104views Mathematics» more  CALCO 2005»
15 years 5 months ago
Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories
Scalars, Loops, and Free Traced and Strongly Compact Closed Categories Samson Abramsky Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, U.K. htt...
Samson Abramsky
CHI
2005
ACM
16 years 2 days ago
Extending tangible interfaces for education: digital montessori-inspired manipulatives
This paper introduces a new framework for thinking about tangible interfaces in education, with specific focus on problem domains. Manipulatives are physical objects specifically ...
Oren Zuckerman, Saeed Arida, Mitchel Resnick
ECSQARU
2007
Springer
15 years 5 months ago
Local Monotonicity in Probabilistic Networks
version of this extended abstract appeared in the proceedings of the Ninth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-07), H...
Johan Kwisthout, Hans L. Bodlaender, Gerard Tel
ESORICS
2009
Springer
16 years 8 days ago
Dynamic Enforcement of Abstract Separation of Duty Constraints
Separation of Duty Constraints David Basin1 , Samuel J. Burri1,2 , and G?unter Karjoth2 1 ETH Zurich, Department of Computer Science, Switzerland 2 IBM Research, Zurich Research La...
David A. Basin, Günter Karjoth, Samuel J. Bur...
108
Voted
PDPTA
2007
15 years 1 months ago
Multiple Networks for Heterogeneous Distributed Applications
Abstract - We have experienced in our distributed applications that the network is the main limiting factor for performances on clusters. Indeed clusters are cheap and it is easier...
Sylvain Jubertie, Emmanuel Melin