Sciweavers

1941 search results - page 240 / 389
» On the Hardness of Approximate Reasoning
Sort
View
IWPC
2002
IEEE
15 years 11 months ago
An Integrated Approach for Studying Architectural Evolution
Studying how a software system has evolved over time is difficult, time consuming, and costly; existing techniques are often limited in their applicability, are hard to extend, a...
Qiang Tu, Michael W. Godfrey
HICSS
2000
IEEE
153views Biometrics» more  HICSS 2000»
15 years 10 months ago
On Verifying Distributed Multithreaded Java Programs
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
Jessica Chen
ACISP
2000
Springer
15 years 10 months ago
An Extremely Small and Efficient Identification Scheme
We present a new identification scheme which is based on Legendre symbols modulo a certain hidden prime and which is naturally suited for low power, low memory applications. 1 Ove...
William D. Banks, Daniel Lieman, Igor Shparlinski
ECOOPW
1999
Springer
15 years 10 months ago
Deriving Object-Oriented Frameworks from Domain Knowledge
Although a considerable number of successful frameworks have been developed during the last decade, designing a high-quality framework is still a difficult task. Generally, it is ...
Mehmet Aksit
HASE
1998
IEEE
15 years 10 months ago
Estimating the Number of Residual Defects
Residual defects is one of the most important factors that allow one to decide if a piece of software is ready to be released. In theory, one can find all the defects and count th...
Yashwant K. Malaiya, Jason Denton