Sciweavers

8109 search results - page 45 / 1622
» A Model of Component-Based Programming
Sort
View
PLDI
2011
ACM
14 years 7 months ago
Partial-coherence abstractions for relaxed memory models
Michael Kuperstein, Martin T. Vechev, Eran Yahav
IAJIT
2007
123views more  IAJIT 2007»
15 years 4 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
15 years 4 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
15 years 8 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