12697 search results - page 2277 / 2540 » Call for Papers |
106
Voted
MICRO
2009
IEEE
15 years 7 months ago
2009
IEEE
High assurance systems such as those found in aircraft controls and the financial industry are often required to handle a mix of tasks where some are niceties (such as the contro...
116
Voted
APN
2009
Springer
15 years 7 months ago
2009
Springer
In previous works we defined ν-APNs, an extension of P/T nets with the capability of creating and managing pure names. We proved that, though reachability is undecidable, coverab...
114
click to vote
WASA
2009
Springer
15 years 7 months ago
2009
Springer
Social network popularity continues to rise as they broaden out to more users. Hidden away within these social networks is a valuable set of data that outlines everyone’s relatio...
108
Voted
ARGMAS
2009
Springer
15 years 7 months ago
2009
Springer
The literature in argumentation and artificial intelligence has distinguished five types of burden of proof in persuasion dialogs, but there appears to have been no serious invest...
116
click to vote
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
Distributed Lagrangian Relaxation Protocol (DisLRP) has been proposed to solve a distributed combinatorial maximization problem called the Generalized Mutual Assignment Problem (G...