3130 search results - page 400 / 626 » Design Correctness of Digital Systems |
189
click to vote
ATAL
2007
Springer
16 years 24 days ago
2007
Springer
Distributed Constraint Optimization (DCOP) is a general framework that can model complex problems in multi-agent systems. Several current algorithms that solve general DCOP instan...
178
click to vote
CCS
2007
ACM
16 years 24 days ago
2007
ACM
Software vulnerabilities have been the main contributing factor to the Internet security problems such as fast spreading worms. Among these software vulnerabilities, memory corrup...
179
click to vote
ASPLOS
2009
ACM
15 years 10 months ago
2009
ACM
Software systems are constantly changing. Patches to fix bugs and patches to add features are all too common. Every change risks breaking a previously working system. Hence admini...
180
click to vote
CIKM
2010
Springer
15 years 5 months ago
2010
Springer
We demonstrate a method for collaborative ranking of future events. Previous work on recommender systems typically relies on feedback on a particular item, such as a movie, and ge...
194
Voted
RTSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Closed-loop control systems are dynamic systems subject to perturbations. One of the main concerns of the control is to design controllers to correct or limit the deviation that t...