4507 search results - page 584 / 902 » Generalized Binet dynamics |
168
click to vote
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
200
click to vote
ICFP
2002
ACM
16 years 6 months ago
2002
ACM
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...
141
click to vote
ESORICS
2002
Springer
16 years 6 months ago
2002
Springer
A programmable secure coprocessor platform can help solve many security problems in distributed computing. However, these solutions usually require that coprocessor applications be...
180
click to vote
MOBIHOC
2006
ACM
16 years 6 months ago
2006
ACM
Data storage has become an important issue in sensor networks as a large amount of collected data need to be archived for future information retrieval. This paper introduces stora...
195
click to vote
EWSN
2008
Springer
16 years 6 months ago
2008
Springer
Storing and disseminating coded information instead of the original data can bring significant performance improvements to sensor network protocols. Such methods reduce the risk of...