1342 search results - page 179 / 269 » Shape reasoning and understanding |
LPAR
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
MFCS
2007
Springer
14 years 3 months ago
2007
Springer
A framework for analyzing the computational capabilities and the limitations of the evolutionary process of random change guided by selection was recently introduced by Valiant [V...
PROFES
2007
Springer
14 years 3 months ago
2007
Springer
Reference processes are supposed to be the basis for collaboration and mature cooperation in software development. Large business organizations need large and diverse reference pro...
TACAS
2007
Springer
14 years 3 months ago
2007
Springer
The ad-hoc use of unions to encode disjoint sum types in C programs and the inability of C’s type system to check the safe use of these unions is a long standing source of subtle...
TELETRAFFIC
2007
Springer
14 years 3 months ago
2007
Springer
Network traffic measurements can provide essential data for network research and operation. While Internet traffic has been heavily studied for several years, there are new charact...