5255 search results - page 389 / 1051 » Formal Methods for Privacy |
159
click to vote
FORMATS
2009
Springer
15 years 11 months ago
2009
Springer
Embedded real-time systems are typically programmed in low-level languages which provide support for event-driven task processing and real-time interrupts. We show that the model c...
127
click to vote
IEEEIAS
2008
IEEE
15 years 11 months ago
2008
IEEE
The recent and massive deployment of Voice over IP infrastructures had raised the importance of the VoIP security and more precisely of the underlying signalisation protocol SIP. ...
164
Voted
MEMOCODE
2008
IEEE
15 years 11 months ago
2008
IEEE
The second MEMOCODE hardware/software codesign contest invites participants to solve a practical hardware/software codesign problem within the time span of one month. The larger o...
148
click to vote
SAS
2007
Springer
15 years 11 months ago
2007
Springer
Floating-point arithmetic is an important source of errors in programs because of the loss of precision arising during a computation. Unfortunately, this arithmetic is not intuitiv...
149
Voted
SAS
2007
Springer
15 years 11 months ago
2007
Springer
Concurrent programs are difficult to verify because the proof must consider the interactions between the threads. Fine-grained concurrency and heap allocated data structures exacer...