1148 search results - page 184 / 230 » Software engineering considered harmful |
142
click to vote
PPOPP
2009
ACM
16 years 1 months 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...
116
click to vote
ICEBE
2007
IEEE
15 years 7 months ago
2007
IEEE
In the development process of a B2B system it is crucial that the business experts are able to express and evaluate agreements and commitments between the partners and that the so...
143
Voted
COMSWARE
2008
IEEE
15 years 2 months ago
2008
IEEE
Social networks refer to structures made of nodes that represent people or other entities embedded in a social context, and whose edges represent interaction between entities. Typi...
155
click to vote
VEE
2012
ACM
13 years 8 months ago
2012
ACM
In software for embedded systems, the frequent use of interrupts for timing, sensing, and I/O processing can cause concurrency faults to occur due to interactions between applicat...
109
Voted
WWW
2008
ACM
16 years 1 months ago
2008
ACM
Because it is an integral part of the Internet routing apparatus, and because it allows multiple instances of the same service to be "naturally" discovered, IP Anycast h...