2935 search results - page 478 / 587 » An Integrated Approach to High Integrity Software Verificati... |
143
Voted
JSCIC
2000
15 years 5 months ago
2000
In [6], the Ghost Fluid Method (GFM) was developed to capture the boundary conditions at a contact discontinuity in the inviscid compressible Euler equations. In [11], related tec...
180
click to vote
PSYCHNOLOGY
2008
15 years 5 months ago
2008
Visualization plays an important role in social networks analysis to explore and investigate individual and groups behaviours. Therefore, different approaches have been proposed f...
181
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
WS-* specifications cover a variety of issues ranging from security and reliability to transaction support in web services. However, these specifications do not address web servic...
257
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
Transparent persistence promises to integrate programming languages and databases by allowing procedural programs to access persistent data with the same ease as non-persistent da...
167
click to vote
HICSS
2009
IEEE
16 years 22 days ago
2009
IEEE
Due to their characteristics and claimed advantages, several researchers have been investigating free and open-source projects. Different aspects are being studied: for instance, ...