5962 search results - page 682 / 1193 » Working with Patterns and Code |
252
Voted
TACAS
2010
Springer
16 years 2 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
232
Voted
CTRSA
2010
Springer
16 years 2 months 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 ...
189
click to vote
HICSS
2009
IEEE
16 years 2 months ago
2009
IEEE
Software practitioners experience pressure to compromise their work and their reasonable care for others. Even as software becomes more beneficial, pervasive, and interconnected, ...
159
click to vote
DAC
2009
ACM
16 years 2 months ago
2009
ACM
Endosymbiotic Computing entails attaching an RF-enabled microcontroller module (endomodule) to an appliance such that it appears as a networked device in the cyber world. It enabl...
172
click to vote
ESOP
2009
Springer
16 years 2 months ago
2009
Springer
We show how contracts with blame fit naturally with recent work on hybrid types and gradual types. Unlike hybrid types or gradual types, we require casts in the source code, in o...