1272 search results - page 152 / 255 » Supporting distributed software development by modes of coll... |
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
While the use of software component models has become popular in the development of desktop applications and distributed information systems, such models have not been widely used...
PPOPP
2010
ACM
14 years 6 months ago
2010
ACM
Adaptive, or self-aware, computing has been proposed to help application programmers confront the growing complexity of multicore software development. However, existing approache...
ICFP
2007
ACM
14 years 9 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
COMPSAC
2005
IEEE
14 years 2 months ago
2005
IEEE
Mobile software industry is suffering from the illegal usage of the software. PKI will not be a solution for small software distribution. We introduce a lightweight but safe metho...
EWSPT
2001
Springer
14 years 1 months ago
2001
Springer
We describe an approach based upon software process technology to on-the-fly monitoring, redeployment, reconfiguration, and in general dynamic adaptation of distributed software ap...