2259 search results - page 212 / 452 » Leveraging Distributed Software Development |
137
click to vote
VEE
2009
ACM
15 years 10 months ago
2009
ACM
r of high-level languages lies in their abstraction over hardware and software complexity, leading to greater security, better reliability, and lower development costs. However, o...
160
click to vote
SC
2009
ACM
15 years 10 months ago
2009
ACM
This paper presents a new distributed computing framework for Many Task Computing (MTC) applications, based on the Extensible Messaging and Presence Protocol (XMPP). A lightweight...
131
click to vote
WWW
2005
ACM
16 years 4 months ago
2005
ACM
Security is one of the major concerns when developing missioncritical business applications, and this concern motivated the Web Services Security specifications. However, the exis...
116
click to vote
EMSOFT
2003
Springer
15 years 9 months ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
137
click to vote
FATES
2003
Springer
15 years 9 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...