137 search results - page 19 / 28 » Some recent advances in automated analysis |
LICS
1999
IEEE
15 years 2 months ago
1999
IEEE
Security protocols use cryptography to set up private communication channels on an insecure network. Many protocols contain flaws, and because security goals are seldom specified ...
78
Voted
ICDE
2009
IEEE
15 years 4 months ago
2009
IEEE
— Information Systems are subject to a perpetual evolution, which is particularly pressing in Web Information Systems, due to their distributed and often collaborative nature. Su...
DATE
2008
IEEE
15 years 4 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
102
click to vote
ITNG
2008
IEEE
15 years 4 months ago
2008
IEEE
With recent advances in wireless communication and position technologies, it became possible to collect and record trajectories of moving objects. Thus, many services in road netw...
INFOCOM
2007
IEEE
15 years 4 months ago
2007
IEEE
— Recent advances in network coding have shown great potential for efficient information multicasting in communication networks, in terms of both network throughput and network ...