12981 search results - page 2079 / 2597 » Model Checking (Abstract) |
207
click to vote
AOSD
2008
ACM
15 years 9 months ago
2008
ACM
Aspect-oriented programming languages provide new composition mechanisms for improving the modularity of crosscutting concerns. Implementations of such language support use advanc...
224
click to vote
ECBS
2010
IEEE
15 years 9 months ago
2010
IEEE
—One of the ideas of agile software development is to respond to changes rather than following a plan. Constantly changing businesses result in changing requirements, to be handl...
201
click to vote
ASIACRYPT
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. The generic (aka. black-box) group model is a valuable methodology for analyzing the computational hardness of number-theoretic problems used in cryptography. Since the p...
169
click to vote
AUSAI
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. The much-publicized Netflix competition has put the spotlight on the application domain of collaborative filtering and has sparked interest in machine learning algorithms...
206
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract-- This paper studies distributed coordination algorithms for multiple fractional-order systems over a directed communication graph. A general fractional-order consensus mo...