Sciweavers

5536 search results - page 856 / 1108
» Programming Languages for Distributed Applications
Sort
View
JSS
2000
83views more  JSS 2000»
15 years 1 months ago
Module interconnection features in object-oriented development tools
The black-box reuse of library classes in the construction of an object-oriented (OO) application is dicult: the principle of information hiding may be violated if classes must kn...
Sergio E. R. de Carvalho, Julio Cesar Sampaio do P...
OOPSLA
2010
Springer
14 years 11 months ago
Refactoring references for library migration
This report is a companion to the paper “Refactoring References for Library Migration” published at the ACM SIGPLAN International Conference on Systems, Programming, Languages...
Puneet Kapur, Bradley Cossette, Robert J. Walker
FORMATS
2010
Springer
14 years 11 months ago
A Framework for Verification of Software with Time and Probabilities
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
Marta Z. Kwiatkowska, Gethin Norman, David Parker
SCP
2011
341views Communications» more  SCP 2011»
14 years 8 months ago
A generic topology library
In the field of scientific computing there is a manifold of software applications and tools available which provide methods and libraries for the solution of very specific prob...
René Heinzl, Philipp Schwaha
BMCBI
2005
130views more  BMCBI 2005»
15 years 1 months ago
Squid - a simple bioinformatics grid
Background: BLAST is a widely used genetic research tool for analysis of similarity between nucleotide and protein sequences. This paper presents a software application entitled &...
Paulo C. Carvalho, Rafael V. Glória, Antoni...