Sciweavers

8109 search results - page 45 / 1622
» A Model of Component-Based Programming
Sort
View
PLDI
2011
ACM
13 years 1 months ago
Partial-coherence abstractions for relaxed memory models
Michael Kuperstein, Martin T. Vechev, Eran Yahav
IAJIT
2007
123views more  IAJIT 2007»
13 years 10 months ago
The Development of a Simplified Process Model for CBSD
: This study introduces the MyCL process model, a simplified Component-Based Software Development (CBSD) process model that is clear and easy to be understood and hence, applied. I...
Hazleen Aris, Siti Salwah Salim
AMAI
1999
Springer
13 years 10 months ago
Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm
Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is interesting because it bring advantages of logic prog...
Ilkka Niemelä
ESEC
1991
Springer
14 years 2 months ago
A Dynamic Failure Model for Predicting the Impact that a Program Location has on the Program
This paper presents a dynamic technique for predicting the e ect that a location" of a program will have on the program's computational behavior. The technique is based ...
Jeffrey M. Voas