10072 search results - page 1470 / 2015 » Composition of Model Programs |
212
click to vote
UM
2007
Springer
16 years 1 months ago
2007
Springer
User’s privacy concerns represent one of the most serious obstacles to the wide adoption of mobile social software applications. In this paper, we introduce a conceptual model wh...
186
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...
167
click to vote
IPPS
2005
IEEE
16 years 20 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...
170
click to vote
TACAS
2005
Springer
16 years 17 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...
211
click to vote
AUSAI
2004
Springer
16 years 15 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...