Sciweavers

11752 search results - page 189 / 2351
» Those
Sort
View
VL
2007
IEEE
123views Visual Languages» more  VL 2007»
16 years 26 days ago
Introductory Computing Construct Use in an End-User Programming Community
Previous studies of end-user programmers have indicated a reliance on related examples for learning. Accordingly, we analyzed the projects contained in an online community with re...
Brian Dorn, Allison Elliott Tew, Mark Guzdial
ICRA
2007
IEEE
184views Robotics» more  ICRA 2007»
16 years 25 days ago
USARSim: a robot simulator for research and education
— This paper presents USARSim, an open source high fidelity robot simulator that can be used both for research and education. USARSim offers many characteristics that differenti...
Stefano Carpin, Michael Lewis, Jijun Wang, Stephen...
BPM
2007
Springer
152views Business» more  BPM 2007»
16 years 24 days ago
Towards Dynamic Matching of Business-Level Protocols in Adaptive Service Compositions
In a service composition, it is necessary to ensure that the behaviour of a constituent service is consistent with the requirements of the composition. In an adaptive service compo...
Alan W. Colman, Linh Duy Pham, Jun Han, Jean-Guy S...
CALCO
2007
Springer
109views Mathematics» more  CALCO 2007»
16 years 23 days ago
Quasitoposes, Quasiadhesive Categories and Artin Glueing
Adhesive categories are a class of categories in which pushouts along monos are well-behaved with respect to pullbacks. Recently it has been shown that any topos is adhesive. Many ...
Peter T. Johnstone, Stephen Lack, Pawel Sobocinski
EUROCRYPT
2007
Springer
16 years 23 days ago
General Ad Hoc Encryption from Exponent Inversion IBE
Among the three broad classes of Identity-Based Encryption schemes built from pairings, the exponent inversion paradigm tends to be the most efficient, but also the least extensibl...
Xavier Boyen