504 search results - page 64 / 101 » Explaining Verification Conditions |
SASO
2008
IEEE
14 years 2 months ago
2008
IEEE
As software is more and more interweaving with our everyday life, designing software in a way that it reflects and respects the user and her emotional physical conditions, cogniti...
PAM
2004
Springer
14 years 1 months ago
2004
Springer
Fast routing convergence is a key requirement for services that rely on stringent QoS. Yet experience has shown that the standard inter-domain routing protocol, BGP4, takes, at tim...
GCB
2003
Springer
14 years 1 months ago
2003
Springer
The further development of analytical techniques based on gas chromatography and mass spectrometry now facilitate the generation of larger sets of metabolite concentration data. T...
PAMI
2000
13 years 7 months ago
2000
Modern CCD cameras are usually capable of a spatial accuracy greater than 1/50 of the pixel size. However, such accuracy is not easily attained due to various error sources that c...
SYNTHESE
2008
13 years 7 months ago
2008
All paradoxes of self-reference seem to share some structural features. Russell in 1908 and especially Priest nowadays have advanced structural descriptions that successfully ident...