8109 search results - page 1067 / 1622 » A Model of Component-Based Programming |
194
click to vote
VAMOS
2007
Springer
16 years 1 months ago
2007
Springer
Features have been recognized as important building blocks of software product lines. Unfortunately, features have been mostly confined to modeling activities as they were origina...
172
click to vote
IPPS
2005
IEEE
16 years 27 days ago
2005
IEEE
This paper describes an overview of Environment for Memory Performance Studies (EMPS). EMPS is a framework to allow different data gathering and simulation tools to be composed to...
179
click to vote
TACAS
2005
Springer
16 years 23 days ago
2005
Springer
Fair discrete systems (FDSs) are a computational model of concurrent programs where fairness assumptions are specified in terms of sets of states. The analysis of fair discrete sy...
213
click to vote
AUSAI
2004
Springer
16 years 21 days ago
2004
Springer
The PolicyUpdater1 system is a fully-implemented access control system that provides policy evaluations as well as dynamic policy updates. These functions are achieved by the use o...
185
click to vote
FSTTCS
2004
Springer
16 years 20 days ago
2004
Springer
We present a fragment of separation logic oriented to linked lists, and study decision procedures for validity of entailments. The restrictions in the fragment are motivated by the...