6796 search results - page 339 / 1360 » Java for Embedded Systems |
136
Voted
CARDIS
2004
Springer
15 years 9 months ago
2004
Springer
: One major challenge for digitally signing a document is the so called “what you see is what you sign” problem. XML as a meta language for encoding semistructured data offers ...
132
click to vote
SIGCSE
2003
ACM
15 years 9 months ago
2003
ACM
A crucial part of the Networking course is the examination of and experimentation with network traffic data. Most standalone network traffic sniffers are quite expensive and those...
152
click to vote
FIDJI
2003
Springer
15 years 9 months ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
144
click to vote
APSEC
2002
IEEE
15 years 9 months ago
2002
IEEE
UML is a modeling language that most developers employed during design phase. UML provides various types of diagrams used for specifying both the structure and the behavior of sys...
144
click to vote
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...