828 search results - page 55 / 166 » Global Software Enterpreneurship |
107
click to vote
IJIT
2004
15 years 1 months ago
2004
Both software applications and their development environment are becoming more and more distributed. This trend impacts not only the way software computes, but also how it looks. T...
106
click to vote
JCP
2006
14 years 11 months ago
2006
We propose and evaluate a novel framework for enforcing global coordination and control policies over message passing software components in enterprise computing environments. This...
108
click to vote
KBSE
2010
IEEE
14 years 10 months ago
2010
IEEE
We present a semi-automated approach, Secoria, for analyzing a security runtime architecture for security and for conformance to an object-oriented implementation. Typecheckable a...
108
click to vote
TSE
2010
14 years 10 months ago
2010
We present an algorithm Dash to check if a program P satisfies a safety property ϕ. The unique feature of the algorithm is that it uses only test generation operations, and nes ...
COMPSAC
2002
IEEE
15 years 4 months ago
2002
IEEE
On-the-fly replacement of software may require simultanous distributed updates of components. If an update changes some interfaces or protocols, the update must be performed in a...