8828 search results - page 1303 / 1766 » Formal methods in practice |
191
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
A widely used defense practice against malicious traffic on the Internet is to maintain blacklists, i.e., lists of prolific attack sources that have generated malicious activity in...
193
click to vote
RCIS
2010
15 years 5 months ago
2010
Continuous customer-centric requirements reprioritization is essential in successfully performing agile software development. Yet, in the agile RE literature, very little is known ...
200
click to vote
SIGSOFT
2010
ACM
15 years 5 months ago
2010
ACM
The presence of a functionally correct golden implementation has a significant advantage in the software development life cycle. Such a golden implementation is exploited for soft...
185
click to vote
EMNLP
2009
15 years 4 months ago
2009
Tree Adjoining Grammars have well-known advantages, but are typically considered too difficult for practical systems. We demonstrate that, when done right, adjoining improves tran...
187
click to vote
ICCV
2009
IEEE
15 years 4 months ago
2009
IEEE
Perceiving dynamic scenes of rigid bodies, through affine projections of moving 3D point clouds, boils down to clustering the rigid motion subspaces supported by the points' ...