4890 search results - page 525 / 978 » From system specifications to component behavioral models |
189
click to vote
ICISC
2001
15 years 8 months ago
2001
Abstract. In this work we present a security model for low-value transactions in ad-hoc networks in which we focus on authentication since this is the core requirement for commerci...
179
click to vote
IEAAIE
2004
Springer
16 years 19 days ago
2004
Springer
This work presents the application of a first-order logic incremental learning system, INTHELEX, to learn rules for the automatic identification of a wide range of significant docu...
197
click to vote
PARELEC
2000
IEEE
15 years 11 months ago
2000
IEEE
The purpose of this paper consists of demonstrating an implementation methodology of sequential and distributed simulations using Java programming: two specific algorithms based o...
171
click to vote
VL
1999
IEEE
15 years 11 months ago
1999
IEEE
Recently a new metaphor for diagramming, the intelligent diagram has emerged. This new metaphor provides an excellent basis for diagram beautification since it automatically colle...
182
click to vote
SAFECOMP
2000
Springer
15 years 10 months ago
2000
Springer
An expert trouble-shooter is a subject who has a great deal of experience in his activity that allows him or her to be very efficient. However, the large amount of problems he or s...