7835 search results - page 158 / 1567 » Software are Processes Too |
133
click to vote
FOSSACS
2006
Springer
15 years 8 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...
137
click to vote
DEXAW
2004
IEEE
15 years 8 months ago
2004
IEEE
Many software acquisition projects are doomed to fail due to a lack of integration of acquisition and development processes on the one hand and, because of shortcomings of classic...
118
click to vote
VMCAI
2004
Springer
15 years 9 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...
128
click to vote
FASE
2006
Springer
15 years 8 months ago
2006
Springer
Modern software codebases are frequently large, heterogeneous, and constantly evolving. The languages and tools for software construction, including code builds and configuration m...
227
click to vote
ARCS
2008
Springer
15 years 6 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...