2496 search results - page 135 / 500 » Error-detecting properties of languages |
ENTCS
2008
15 years 10 days ago
2008
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
106
Voted
GPCE
2007
Springer
15 years 7 months ago
2007
Springer
In this paper, we propose a domain-specific aspect language to prevent the denials of service caused by resource management. Our aspects specify availability policies by enforcin...
89
Voted
COLING
2010
14 years 7 months ago
2010
Word co-occurrence networks are one of the most common linguistic networks studied in the past and they are known to exhibit several interesting topological characteristics. In th...
190
Voted
POPL
2007
ACM
16 years 1 months ago
2007
ACM
In aspect-oriented programming, one can intercept events by writing patterns called pointcuts. The pointcut language of the most popular aspect-oriented programming language, Aspe...
93
Voted
CEC
2008
IEEE
15 years 7 months ago
2008
IEEE
—The language game approach is widely adopted to study conventionalization of linguistic knowledge. Most of contemporary models concentrate on the dynamics of language games in r...