3330 search results - page 319 / 666 » software 2010 |
141
click to vote
ENDM
2010
15 years 4 months ago
2010
Verifying that a piece of software has no bugs means proving that it has certain desired properties, such as an array index not taking values outside certain Abstract interpretati...
144
click to vote
ENTCS
2010
15 years 4 months ago
2010
Service oriented computing is an accepted architectural style for developing large, distributed software systems. A particular promise of such architectures is service orchestrati...
113
click to vote
EOR
2010
15 years 4 months ago
2010
Grid technologies and the related concepts of utility computing and cloud computing enable the dynamic sourcing of computer resources and services, thus allowing enterprises to cu...
131
click to vote
ENTCS
2006
15 years 4 months ago
2006
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...
128
Voted
DSS
2007
15 years 4 months ago
2007
The Web Service paradigm is currently considered as the most promising and rapidly evolving technology for developing applications in open, distributed and heterogeneous environme...