1888 search results - page 162 / 378 » The Learning Power of Evolution |
108
click to vote
DAGSTUHL
2001
15 years 13 days ago
2001
A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program...
WEBNET
1998
15 years 12 days ago
1998
: As the new network computer technology forces into every aspect of daily life, many things change in a rather rapid way, compared to what we were used to until recently. One of t...
185
click to vote
POPL
2001
ACM
15 years 11 months ago
2001
ACM
Secure Safe Ambients (SSA) are a typed variant of Safe Ambients [9], whose type system allows behavioral invariants of ambients to be expressed and verified. The most significant a...
98
Voted
GLOBECOM
2007
IEEE
15 years 5 months ago
2007
IEEE
—The growth of the Internet in the last years has been pushed by increasing requirements in terms of capacity, security and reliability. Moreover, improvements in multimedia appl...
TIME
2005
IEEE
15 years 4 months ago
2005
IEEE
Historical information can be effectively preserved using XML and searched through powerful historical queries written in XQuery. Indeed, by storing the successive versions of a d...