417 search results - page 54 / 84 » The Start of an Eiffel Standard |
120
Voted
CONEXT
2007
ACM
15 years 4 months ago
2007
ACM
The recent work on COPE by Katti et al. demonstrates a practical application of network coding to wireless multihop networks. We note, however, that the opportunistic nature of CO...
122
Voted
CASSIS
2004
Springer
15 years 4 months ago
2004
Springer
The JAVA CARD transaction mechanism can ensure that a sequence of statements either is executed to completion or is not executed at all. Transactions make verification of JAVA CARD...
118
Voted
FDL
2004
IEEE
15 years 4 months ago
2004
IEEE
In this work we develop a secure communication protocol in the context of a Remote Meter Reading (RMR) System. We first analyze existing standards in secure communication (e.g. IP...
97
Voted
KBSE
1998
IEEE
15 years 4 months ago
1998
IEEE
Starting from a graphical data model (a subset of the OMT object model), a skeleton of formal specification can be generated and completed to express several constraints and provi...
AAAI
2008
15 years 2 months ago
2008
We present a novel application of structured classification: identifying function entry points (FEPs, the starting byte of each function) in program binaries. Such identification ...