1604 search results - page 222 / 321 » Development Separation in Lambda-Calculus |
106
Voted
CIT
2007
Springer
15 years 4 months ago
2007
Springer
Existence of crosscutting concerns in software requirements often intensifies complexity of software development. Modeling and analysis of these concerns at software architecture ...
110
click to vote
COLT
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. The classical perceptron algorithm is an elementary algorithm for solving a homogeneous linear inequality system Ax > 0, with many important applications in learning t...
85
Voted
ASMTA
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Service differentiation in IP core networks may be supported by dedicated path selection rules. This paper investigates the degree of service distinction achievable when ...
81
Voted
ICDCS
2010
IEEE
15 years 4 months ago
2010
IEEE
—Peer-to-peer (P2P) substrates are now widely used for both file-sharing and botnet command-andcontrol. Despite the commonality of their substrates, we show that the different g...
103
Voted
SP
2010
IEEE
15 years 4 months ago
2010
IEEE
—A growing number of current web sites combine active content (applications) from untrusted sources, as in so-called mashups. The object-capability model provides an appealing ap...