Sciweavers

2255 search results - page 326 / 451
» High Assurance Software Systems
Sort
View
CC
2003
Springer
124views System Software» more  CC 2003»
15 years 11 months ago
Polyglot: An Extensible Compiler Framework for Java
Polyglot is an extensible compiler framework that supports the easy creation of compilers for languages similar to Java, while avoiding code duplication. The Polyglot framework is ...
Nathaniel Nystrom, Michael R. Clarkson, Andrew C. ...
WISE
2002
Springer
15 years 11 months ago
An XML Specification Language to Support a Virtual Marketplace of Data Mining E-Services
The emergence of Application Service Providers (ASP) hosting Internet-based data mining services is being seen as a viable alternative for organisations that value their knowledge...
Shonali Krishnaswamy, E. P. See, J. N. Ho, W. Guna...
RT
2001
Springer
15 years 10 months ago
A Perceptually-Based Texture Caching Algorithm for Hardware-Based Rendering
: The performance of hardware-based interactive rendering systems is often constrained by polygon fill rates and texture map capacity, rather than polygon count alone. We present a...
Reynald Dumont, Fabio Pellacini, James A. Ferwerda
UML
2001
Springer
15 years 10 months ago
An Axiomatic Formalization of UML Models
: Though it is widely recognized that object-oriented methodologies are most effective in developing large scale software, it is still dif cult to apply high level computer support...
Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama
SC
2000
ACM
15 years 10 months ago
Computing and Data Grids for Science and Engineering
We use the term “Grid” to refer to a software system that provides uniform and location independent access to geographically and organizationally dispersed, heterogeneous reso...
William E. Johnston, Dennis Gannon, Bill Nitzberg,...