2649 search results - page 291 / 530 » Argumentation for Decision Support |
272
click to vote
LAWEB
2006
IEEE
16 years 20 days ago
2006
IEEE
Complex applications, in particular Web applications, deal with a myriad of different concerns and some of them affect several others. The result is that these crosscutting concer...
162
click to vote
DOLAP
2006
ACM
16 years 19 days ago
2006
ACM
In order to be able to evaluate beforehand the impact of a strategical or tactical move, decision makers need reliable previsional systems. What-if analysis satisfies this need b...
151
click to vote
INFOCOM
2005
IEEE
16 years 8 days ago
2005
IEEE
— This paper addresses the topology control problem for large wireless networks that are modelled by an infinite point process on a two-dimensional plane. Topology control is th...
195
Voted
LPAR
2005
Springer
16 years 5 days ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
173
click to vote
WEA
2005
Springer
16 years 4 days ago
2005
Springer
Ordered Binary Decision Diagrams (OBDDs) are a data structure for Boolean functions which supports many useful operations. It finds applications in CAD, model checking, and symbol...