Sciweavers

13306 search results - page 462 / 2662
» Theoretical Computer Science
Sort
View
CAD
2006
Springer
15 years 7 months ago
Towards mass customized interoperability
This paper describes an approach to interoperability in design projects that is based on computational agents customizing the representation of product data to individual design to...
Udo Kannengiesser, John S. Gero
ACSC
2009
IEEE
16 years 2 months ago
A Citation Analysis of the ACSC 2006-2008 Proceedings, with Reference to the CORE Conference and Journal Rankings
1 This paper compares the CORE rankings of computing conferences and journals to the frequency of citation of those journals and conferences in the Australasian Computer Science Co...
Raymond Lister, Ilona Box
ICYCS
2008
IEEE
16 years 2 months ago
A Trust-Enabling Support for Goal-Based Services
Service-Oriented Computing allows new applications to be developed by using and/or combining services offered by different providers. In several cases a service needs sensitive in...
Luiz Olavo Bonino da Silva Santos, Luís Fer...
STACS
2007
Springer
16 years 1 months ago
On the Automatic Analysis of Recursive Security Protocols with XOR
Abstract. In many security protocols, such as group protocols, principals have to perform iterative or recursive computations. We call such protocols recursive protocols. Recently,...
Ralf Küsters, Tomasz Truderung
ITICSE
2005
ACM
16 years 1 months ago
Reductive thinking in undergraduate CS courses
This paper describes research on the perception of undergraduate students of the concept of reduction. Specifically, based on an analysis of students' answers to questions ad...
Michal Armoni, Judith Gal-Ezer