14244 search results - page 2141 / 2849 » Modeling Program Predictability |
181
click to vote
OTM
2007
Springer
16 years 1 months ago
2007
Springer
Frameworks that support the implementation and execution of service compositions are a fundamental component of middleware infrastructures that support the design of adaptive syste...
181
click to vote
SAT
2007
Springer
16 years 1 months ago
2007
Springer
Unmanned aerial vehicles (UAVs) represent an important class of networked robotic applications that must be both highly dependable and autonomous. This paper addresses sensor deplo...
225
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...
197
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...
182
click to vote
TACAS
2005
Springer
16 years 28 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...