4126 search results - page 586 / 826 » Set based logic programming |
123
click to vote
SEFM
2005
IEEE
15 years 8 months ago
2005
IEEE
Developing safe multithreaded software systems is difficult due to the potential unwanted interference among concurrent threads. This paper presents a flexible methodology for o...
140
click to vote
POPL
2005
ACM
15 years 8 months ago
2005
ACM
Cross-realm authentication is a useful and interesting component of Kerberos aimed at enabling secure access to services astride organizational boundaries. We present a formalizat...
119
click to vote
CICLING
2003
Springer
15 years 8 months ago
2003
Springer
Finite-state processing is typically based on structures that allow for efficient indexing and sequential search. However, this “rigid” framework has several disadvantages when...
144
Voted
IFIP
2001
Springer
15 years 7 months ago
2001
Springer
: One of the most important problems in SOC platforms design is that of defining strategies for tuning the parameters of a parameterized system so as to obtain the Pareto-optimal s...
118
click to vote
IWPC
1999
IEEE
15 years 7 months ago
1999
IEEE
In a typical COBOL program, the data division consists of 50% of the lines of code. Automatic type inference can help to understand the large collections of variable declarations ...