Sciweavers

893 search results - page 127 / 179
» Modeling reactive systems in Java
Sort
View
146
Voted
ICHIM
2001
190views more  ICHIM 2001»
15 years 4 months ago
Chromatic Adaptation Post-Filtering in Image Synthesis Reproduction of Ancient Building for Restoration Support
Within the field of cultural heritage restoration, experts are interested in the analysis of data describing the condition and history of ancient monuments. Data are usually distr...
Maurizio Rossi, Daniele Marini, Alessandro Rizzi
134
Voted
ECOOP
2005
Springer
15 years 8 months ago
Interprocedural Analysis for Privileged Code Placement and Tainted Variable Detection
In Java 2 and Microsoft .NET Common Language Runtime (CLR), trusted code has often been programmed to perform accessrestricted operations not explicitly requested by its untrusted ...
Marco Pistoia, Robert J. Flynn, Larry Koved, Vugra...
144
Voted
FATES
2003
Springer
15 years 7 months ago
JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
Guoqing Xu, Zongyuang Yang
124
Voted
AICT
2006
IEEE
116views Communications» more  AICT 2006»
15 years 8 months ago
Integrating AJAX Approach into GIS Visualization Web Services
As the Web platform continues to mature, we see an increasing number of amazing technologies that take Geographic Information Systems (GIS) visualization applications to new level...
Ahmet Sayar, Marlon E. Pierce, Geoffrey Fox
118
Voted
SE
2007
15 years 4 months ago
Rules for type-checking of parametric polymorphism in EMF generics
Abstract: The Eclipse infrastructure for modeling is based on EMF, an implementation of Essential MOF, the OMG standard for metamodeling. A recent addition to EMF has been parametr...
Miguel Garcia