Sciweavers

10072 search results - page 403 / 2015
» Composition of Model Programs
Sort
View
163
Voted
JSW
2008
105views more  JSW 2008»
15 years 6 months ago
Formal Models for Architecture Aspects and Their Weaving
Aspect-oriented concepts are currently introduced in early stages of software development to achieve better separation of concerns. However, at the architecture level, there exists...
Chunhua Yang, Haiyang Wang
APSEC
2010
IEEE
15 years 1 months ago
Quantitative Analysis of Best Practices Models in the Software Domain
Organizations are adopting multiple best practices models to improve overall performance. Their objective is to capture the cumulative added value of each model into one single env...
André L. Ferreira, Ricardo Jorge Machado, M...
160
Voted
PACT
1997
Springer
15 years 11 months ago
Control-Driven Coordination Programming in Shared Dataspace
This paper argues for an alternative way of designing coordination models for parallel and distributed environments based on a complete symmetry between and decoupling of producers...
George A. Papadopoulos, Farhad Arbab
HOTOS
2007
IEEE
15 years 10 months ago
Automatic Mutual Exclusion
We propose a new concurrent programming model, Automatic Mutual Exclusion (AME). In contrast to lock-based programming, and to other programming models built over software transac...
Michael Isard, Andrew Birrell
NMR
2004
Springer
16 years 5 days ago
A possibilistic approach to restore consistency in answer set programming
In Answer Set Programming it is not possible to deduce any conclusion from an inconsistent program (ie: a program that has no model). The same issue occurs in classical logic wher...
Pascal Nicolas, Laurent Garcia, Igor Stépha...