Sciweavers

9974 search results - page 1314 / 1995
» Software Interconnection Models
Sort
View
NJC
2006
88views more  NJC 2006»
15 years 7 months ago
Optimizing Slicing of Formal Specifications by Deductive Verification
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...
Ingo Brückner, Björn Metzler, Heike Wehr...
213
Voted
IJCINI
2007
96views more  IJCINI 2007»
15 years 7 months ago
The Theoretical Framework of Cognitive Informatics
Cognitive Informatics (CI) is a transdisciplinary enquiry of the internal information processing mechanisms and processes of the brain and natural intelligence shared by almost al...
Yingxu Wang
JOT
2007
112views more  JOT 2007»
15 years 7 months ago
Investigating effect of Design Metrics on Fault Proneness in Object-Oriented Systems
Demand for quality software has undergone with rapid growth during the last few years. This is leading to an increase in the development of metrics for measuring the properties of...
K. K. Aggarwal, Yogesh Singh, Arvinder Kaur, Ruchi...
COMCOM
2004
84views more  COMCOM 2004»
15 years 7 months ago
A dynamic pricing scheme for e-content at multiple levels-of-service
Businesses selling multimedia rich software or e-content are growing in the Internet. The e-content can be downloaded or streamed immediately after an on-line transaction. Since I...
Srinivasan Jagannathan, Kevin C. Almeroth
CORR
2004
Springer
180views Education» more  CORR 2004»
15 years 7 months ago
Alchemi: A .NET-based Grid Computing Framework and its Integration into Global Grids
: Computational grids that couple geographically distributed resources are becoming the de-facto computing platform for solving large-scale problems in science, engineering, and co...
Akshay Luther, Rajkumar Buyya, Rajiv Ranjan, Sriku...
« Prev « First page 1314 / 1995 Last » Next »