677 search results - page 88 / 136 » Rigorous Object-Oriented Analysis |
ACISP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. XL was first introduced to solve determined or overdetermined systems of equations over a finite field as an “algebraic attack” against multivariate cryptosystems....
115
click to vote
ECOWS
2009
Springer
15 years 4 months ago
2009
Springer
The Windows Workflow Foundation (WF) has been introduced as part of the .NET framework as a means of creating workflow-centric applications. Its intended field of application is br...
120
Voted
STOC
2007
ACM
16 years 1 months ago
2007
ACM
The design of algorithms on complex networks, such as routing, ranking or recommendation algorithms, requires a detailed understanding of the growth characteristics of the network...
102
Voted
IJCNN
2006
IEEE
15 years 6 months ago
2006
IEEE
— It is difficult to map many existing learning algorithms onto biological networks because the former require a separate learning network. The computational basis of biological...
INFOCOM
1998
IEEE
15 years 5 months ago
1998
IEEE
This paper suggests that, to match an ideal Internet gateway which rigorously enforces fair sharing among competing TCP connections, an ideal TCP sender should possess two propert...