2902 search results - page 492 / 581 » Software Product Lines |
GI
2007
Springer
15 years 6 months ago
2007
Springer
: Unternehmen wollen ihre Softwaresysteme heute in allen Branchen und insbesondere auch in der Logistik zu serviceorientierten Anwendungslandschaften mit sauber geschnittenen fachl...
130
click to vote
PPOPP
2009
ACM
16 years 13 days ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
200
click to vote
POPL
2006
ACM
16 years 6 days ago
2006
ACM
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
105
click to vote
ICWS
2009
IEEE
15 years 9 months ago
2009
IEEE
Advances in the areas of embedded systems, computing, and networking are leading to an infrastructure composed of millions of heterogeneous devices. These devices will not simply ...
EUROSYS
2010
ACM
15 years 9 months ago
2010
ACM
Modern Byzantine fault-tolerant state machine replication (BFT) protocols involve about 20.000 lines of challenging C++ code encompassing synchronization, networking and cryptogra...