3763 search results - page 140 / 753 » Component-Based Software Engineering Processes |
157
click to vote
FOSSACS
2006
Springer
15 years 9 months ago
2006
Springer
We consider parity games played on special pushdown graphs, namely those generated by one-counter processes. For parity games on pushdown graphs, it is known from [22] that decidin...
144
click to vote
VMCAI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper presents history-dependent scheduling, a new technique for reducing the search space in the verification of cryptographic protocols. This technique allows the...
245
click to vote
ARCS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract: Executing complex applications on Grid infrastructures necessitates the guaranteed allocation of multiple resources. Such guarantees are often implemented by means of adv...
210
click to vote
XPU
2010
Springer
15 years 4 months ago
2010
Springer
Software product lines - families of similar but not identical software products - need to address the issue of feature variability. That is, a single feature might require various...
180
click to vote
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
The software product family paradigm is becoming increasingly relevant in embedded system development. Embedded system development with a software-intensive character is typically...