3116 search results - page 329 / 624 » Positively dependent types |
204
click to vote
ESWS
2007
Springer
16 years 26 days ago
2007
Springer
Collaborative work environments for scientific knowledge have many applications in research as well as in education. Such systems already exist (e.g. Wikipedia and PlanetMath), b...
146
click to vote
GLOBECOM
2006
IEEE
16 years 23 days ago
2006
IEEE
— Existing Internet worm research focuses either on worm detection inside an AS, or on prevention of Internet-wide worm epidemic. But of more practical concern is how to repel wo...
178
click to vote
WIOPT
2006
IEEE
16 years 21 days ago
2006
IEEE
A state-of-the-art orthogonal frequency division multiplexing (OFDM)-based access system, such as the DiffSeg system [1][2], uses a different set of transmission technologies, e.g...
176
click to vote
CSB
2005
IEEE
16 years 10 days ago
2005
IEEE
There is a diversity of functional genomics data, such as gene expression data from microarray experiments, phenotypic data from gene deletion experiments, protein-protein interac...
170
click to vote
CSFW
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...