2013 search results - page 194 / 403 » Analysis and Design Techniques for Service-Oriented Developm... |
206
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Static software checking tools are useful as an additional automated software inspection step that can easily be integrated in the development cycle and assist in creating secure,...
171
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
An autostereoscopic display and analysis system has been developed to aid the development of three-dimensional (3-D) cardiac imaging for use during minimally invasive cardiac surg...
212
click to vote
CSFW
2005
IEEE
16 years 6 days ago
2005
IEEE
We develop a general method for proving properties of contract-signing protocols using a specialized protocol logic. The method is applied to the Asokan-ShoupWaidner and the Garay...
184
click to vote
ACSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
Mashups are new Web 2.0 applications that seamlessly combine contents from multiple heterogeneous data sources into one integrated browser environment. The hallmark of these appli...
198
click to vote
ISPE
2003
15 years 8 months ago
2003
ABSTRACT: In the context of Internet-based applications where heterogeneous, legacy entities should integrate and cooperate, the efficiency of the software production process is a ...