: Although literature contains a huge amount of measures for measuring quality characteristics of software artifacts throughout the development life-cycle, the majority go no furth...
We have developed a method of measuring user interest and affiliation for conference attendees, using behavioral data to collected by `smart badges' worn by the attendees. Th...
Conventional approaches to similarity search and case-based retrieval, such as nearest neighbor search, require the specification of a global similarity measure which is typically ...
We introduce collapsed flushing, a new flushing-based refinement map for automatically verifying safety and liveness properties of term-level pipelined machine models. We also pre...
Roma Kane, Panagiotis Manolios, Sudarshan K. Srini...
Abstract- This paper presents a RWA strategy based on the stochastic estimation of the Effective Number of Available Wavelengths (ENAW) along interdomain paths. We propose an appro...