17082 search results - page 3140 / 3417 » Abstractions for Mobile Computation |
153
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— Kinodynamic planning algorithms like RapidlyExploring Randomized Trees (RRTs) hold the promise of finding feasible trajectories for rich dynamical systems with complex...
225
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Software Product Lines (SPL) are difficult to validate due to combinatorics induced by variability across their features. This leads to combinatorial explosion of the n...
163
click to vote
ICWS
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Recently, mashups are gaining tremendous popularity as an important Web 2.0 application. Mashups provide end-users with an opportunity to create personalized Web service...
172
click to vote
IEEEHPCS
2010
15 years 5 months ago
2010
Abstract. In this paper, we explore the two well-known principles of diversification and intensification in portfolio-based parallel SAT solving. These dual concepts play an impo...
171
click to vote
IEEESP
2010
15 years 5 months ago
2010
Abstract. We devise a model for security investment that reflects dynamic interaction between a defender, who faces uncertainty, and an attacker, who repeatedly targets the weakes...