6646 search results - page 1291 / 1330 » Web Design for the Semantic Web |
OOPSLA
2009
Springer
15 years 6 months ago
2009
Springer
In this paper we describe Ginger, a new language with first class support for literate programming. Literate programming refers to a philosophy that argues computer programs shou...
ISSTA
2009
ACM
15 years 6 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
SOUPS
2009
ACM
15 years 6 months ago
2009
ACM
Online social network sites, such as MySpace, Facebook and others have grown rapidly, with hundreds of millions of active users. A new feature on many sites is social applications...
118
click to vote
ACSAC
2008
IEEE
15 years 6 months ago
2008
IEEE
In its most general form, an attack signature is a program that can correctly determine if an input network packet sequence can successfully attack a protected network application...
118
click to vote
DSRT
2008
IEEE
15 years 6 months ago
2008
IEEE
The DEVS formalism has been adopted and developed independently by many research teams, which led to various DEVS implementation versions. Consequently, different DEVS implementat...