2877 search results - page 347 / 576 » Complex Decision Making Processes: their Modelling and Suppo... |
180
click to vote
AAAI
2006
15 years 8 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...
157
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
200
click to vote
IAT
2008
IEEE
16 years 29 days ago
2008
IEEE
Multi-agent systems have proven to be a powerful technology for building complex distributed applications. However, the process of designing, configuring and deploying agent-based...
248
click to vote
SOSP
2003
ACM
16 years 3 months ago
2003
ACM
This paper presents a new approach called model-carrying code (MCC) for safe execution of untrusted code. At the heart of MCC is the idea that untrusted code comes equipped with a...
140
click to vote
HCW
1998
IEEE
15 years 10 months ago
1998
IEEE
The heterogeneous parallel processing community has long been struggling to bring its approach to computation into the mainstream. One major impediment is that no popular programm...