722 search results - page 54 / 145 » A New Framework for Computer Science and Engineering |
123
click to vote
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
Service-oriented systems are becoming more and more nodes in a digital, dynamic ecosystem requiring the identification and establishment of flexible, spontaneous collaboration act...
124
click to vote
TLCA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...
SIGCSE
1998
ACM
15 years 5 months ago
1998
ACM
The field of software patterns has seen an explosion in interest in the last three years. Work to date has been on the recognition, cataloging, and finding of patterns with litt...
144
Voted
CLADE
2003
IEEE
15 years 7 months ago
2003
IEEE
With rapid technological advances in network infrastructure, programming languages, compatible component interfaces and so many more areas, today the computational Grid has evolve...
104
click to vote
ISWC
2006
IEEE
15 years 7 months ago
2006
IEEE
Construction kits have long been popular as educational artifacts, supporting and encouraging creative explorations of engineering and design; but to date, such kits have had litt...