9518 search results - page 231 / 1904 » On Mobility of Software Processes |
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...
155
Voted
FASE
2006
Springer
15 years 9 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...
244
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...
160
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
This position paper proposes the use of an event-based dynamic AOP machine as an infrastructure for interactive development of high performance scientific software. Advice codes i...
142
click to vote
APSEC
2001
IEEE
15 years 9 months ago
2001
IEEE
As a result of globalization, mergers, acquisitions, and scarce skills, software development is increasingly more distributed. Distribution, however, introduces major communicatio...