1604 search results - page 98 / 321 » Development Separation in Lambda-Calculus |
SOFTVIS
2005
ACM
14 years 3 months ago
2005
ACM
During the life cycle of a software system, the source code is changed many times. We study how developers can be enabled to get insight in these changes, in order to understand t...
VIZSEC
2005
Springer
14 years 3 months ago
2005
Springer
Many methods have been developed for monitoring network traffic, both using visualization and statistics. Most of these methods focus on the detection of suspicious or malicious ...
ICFCA
2004
Springer
14 years 3 months ago
2004
Springer
The transfer of tacit knowledge is important in ensuring that an organisations most valuable assets do not walk out the door. While much controversy surrounds the definition of ta...
IPTPS
2004
Springer
14 years 3 months ago
2004
Springer
In most of the P2P systems developed so far, all nodes play essentially the same role. In some applications, however, different machine capabilities or owner preferences may mean ...
FOCS
2002
IEEE
14 years 3 months ago
2002
IEEE
The Constraint Satisfaction Problem (CSP) provides a common framework for many combinatorial problems. The general CSP is known to be NP-complete; however, certain restrictions on...