2036 search results - page 332 / 408 » A generic type-and-effect system |
101
Voted
INFOCOM
2003
IEEE
15 years 6 months ago
2003
IEEE
— In this paper we present analytical techniques that can be used to better understand the behavior of malware, a generic term that refers to all kinds of malicious software prog...
ITCC
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper we present StarNT, a dictionary-based fast lossless text transform algorithm. With a static generic dictionary, StarNT achieves a superior compression ratio than alm...
100
Voted
APLAS
2003
ACM
15 years 5 months ago
2003
ACM
This paper introduces a Standard ML realization of the scrap-yourboilerplate generic-programming mechanism (first introduced by Simon Peyton Jones and Ralf Lämmel), which gives ...
108
Voted
KCAP
2003
ACM
15 years 5 months ago
2003
ACM
OntoWeaver is our conceptual modelling methodology and a tool that support the specification and implementation of customized web applications. It relies on a number of different ...
133
click to vote
FMCO
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...