1833 search results - page 68 / 367 » Mechanized Verification with Sharing |
89
Voted
ICSE
2003
IEEE-ACM
16 years 24 days ago
2003
IEEE-ACM
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...
96
Voted
CEAS
2007
Springer
15 years 6 months ago
2007
Springer
Email protocols were designed to be flexible and forgiving, designed in a day when Internet usage was a cooperative thing. A side effect of that is that they were not designed to ...
107
click to vote
ASWEC
2006
IEEE
15 years 6 months ago
2006
IEEE
With the increased usage of wireless LANs (WLANs), businesses and educational institutions are becoming more concerned about wireless network security. The latest WLAN security pr...
124
Voted
CSFW
2009
IEEE
15 years 4 months ago
2009
IEEE
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...
121
Voted
DALT
2004
Springer
15 years 4 months ago
2004
Springer
Systems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that pr...