Sciweavers

8623 search results - page 143 / 1725
» Software engineering for secure systems
Sort
View
WWW
2006
ACM
16 years 4 months ago
Capturing the essentials of federated systems
Today, the Web is increasingly used as a platform for distributed services, which transcend organizational boundaries to form federated applications. Consequently, there is a grow...
Alexander Brändle, Frederic Majer, Johannes M...
VMCAI
2010
Springer
16 years 1 months ago
Automatic Abstraction for Congruences
c Abstraction for Congruences A Story of Beauty and the Beast Andy King and Harald S?ndergaard Portcullis Computer Security University of Melbourne g and Harald S?ndergaard Automat...
Andy King, Harald Søndergaard
COMSWARE
2008
IEEE
15 years 10 months ago
Multicast instant channel change in IPTV systems
Damodar Banodkar, K. K. Ramakrishnan, Shivkumar Ka...
VMCAI
2007
Springer
15 years 10 months ago
Using First-Order Theorem Provers in the Jahob Data Structure Verification System
Charles Bouillaguet, Viktor Kuncak, Thomas Wies, K...