4814 search results - page 109 / 963 » Combining abstract interpreters |
197
click to vote
LICS
2009
IEEE
16 years 6 days ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
152
click to vote
CP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. One of the most appealing features of constraint programming is its rich constraint language for expressing combinatorial optimization problems. This paper demonstrates t...
137
Voted
JSW
2006
15 years 5 months ago
2006
The increased use of electronic service has invented a new term Service-Oriented Architecture. In a typical distributed environment consisting of many independent devices and servi...
174
click to vote
KES
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. In data mining, hybrid intelligent systems present a synergistic combination of multiple approaches to develop the next generation of intelligent systems. Our paper prese...
187
click to vote
CTRSA
2010
Springer
16 years 12 days ago
2010
Springer
Abstract. The TLS and SSL protocols are widely used to ensure secure communication over an untrusted network. Therein, a client and server first engage in the so-called handshake ...