7047 search results - page 277 / 1410 » Focusing on Binding and Computation |
163
click to vote
ICCS
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents a system for generating user tailored evaluative arguments, known as the Generator of Evaluative Arguments (GEA). GEA design is based on a pipelined architectur...
174
click to vote
FTDCS
1999
IEEE
15 years 11 months ago
1999
IEEE
In an object oriented, distributed environment, program maintenance, which has never been the most predictable task, becomes even more uncertain. Java's dynamic loading mecha...
178
click to vote
SPIN
1999
Springer
15 years 11 months ago
1999
Springer
In a recent study a series of model checkers, among which Spin [5], SMV [9], and a newer system called XMC [10], were compared on performance. The measurements used for this compar...
158
click to vote
NDSS
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper focuses on theoretical methods for detecting intentional attacks upon the infrastructure of an all-optical network. Applications of existing methods used in traditional...
165
click to vote
FTDCS
1997
IEEE
15 years 11 months ago
1997
IEEE
Personal Communication Support enhances control over reachability in telecommunication. Conversion and screening technologies of communication media, combined with QoS evaluation,...