Sciweavers

703 search results - page 53 / 141
» On Addressing the Computer Science Crisis
Sort
View
CORR
2007
Springer
141views Education» more  CORR 2007»
14 years 9 months ago
Managing Uncertainty: A Case for Probabilistic Grid Scheduling
The Grid technology is evolving into a global, service-orientated architecture – a universal platform for delivering future high demand computational services. Strong adoption of...
Aleksandar Lazarevic, Lionel Sacks, Ognjen Prnjat
CGA
2004
14 years 9 months ago
Interactive Color Palette Tools
Color is fundamental in computer graphics imagery. But despite the importance of good color selection and the difficulty most people have making those color selections, current gr...
Barbara J. Meier, Anne Morgan Spalter, David B. Ka...
TPHOL
1997
IEEE
15 years 1 months ago
An Isabelle-Based Theorem Prover for VDM-SL
This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...
Sten Agerholm, Jacob Frost
ESCIENCE
2007
IEEE
15 years 1 months ago
SOAs for Scientific Applications: Experiences and Challenges
Over the past several years, with the advent of the Open Grid Services Architecture (OGSA) [10] and the Web Services Resource Framework (WSRF) [14], Service-Oriented Architectures...
Sriram Krishnan, Karan Bhatia
ICSE
2008
IEEE-ACM
15 years 10 months ago
Design patterns: between programming and software design
In computer science curricula the two areas programming and software engineering are usually separated. In programming students learn an object oriented language and then deepen t...
Christoph Denzler, Dominik Gruntz