727 search results - page 105 / 146 » Automating the Choice of Decision Support System Architectur... |
126
click to vote
TARK
2007
Springer
15 years 6 months ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
FPL
2007
Springer
15 years 6 months ago
2007
Springer
Multiprocessor systems-on-chip (MPSoC) are being developed in increasing numbers to support the high number of applications running on modern embedded systems. Designing and progr...
105
click to vote
GIS
2002
ACM
14 years 11 months ago
2002
ACM
Geographical information systems are more and more based on a DBMS with spatial extensions, which is also the case for the system described in this paper. The design and implementa...
IMCS
2007
14 years 11 months ago
2007
Purpose – Security information management systems (SIMs) have been providing a unified distributed platform for the efficient management of security information produced by co...
AAAI
2006
15 years 1 months ago
2006
Interactive configurators are decision support systems assisting users in selecting values for parameters that respect given constraints. The underlying knowledge can be convenien...