Sciweavers

232 search results - page 46 / 47
» Grid Interoperability at the Application Level Using SAGA
Sort
View
CCGRID
2006
IEEE
13 years 11 months ago
Component-Based Modeling, Analysis and Animation
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
Jeff Kramer
ESOP
2005
Springer
13 years 11 months ago
Asserting Bytecode Safety
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
Martin Wildmoser, Tobias Nipkow
PICS
2003
13 years 7 months ago
Continuous Tone Alternatives To Halftone Through Historical Reflection
Halftone printing has been developing in a linear manner since the inception of photography. The process of refinement has taken it from one level to another producing increasingl...
Andrew Atkinson
TON
2010
161views more  TON 2010»
13 years 13 days ago
Investigating Self-Similarity and Heavy-Tailed Distributions on a Large-Scale Experimental Facility
Abstract--After the seminal work by Taqqu et al. relating selfsimilarity to heavy-tailed distributions, a number of research articles verified that aggregated Internet traffic time...
Patrick Loiseau, Paulo Gonçalves, Guillaume...
SIGCSE
2009
ACM
193views Education» more  SIGCSE 2009»
14 years 6 months ago
Seattle: a platform for educational cloud computing
Cloud computing is rapidly increasing in popularity. Companies such as RedHat, Microsoft, Amazon, Google, and IBM are increasingly funding cloud computing infrastructure and resea...
Justin Cappos, Ivan Beschastnikh, Arvind Krishnamu...