29172 search results - page 231 / 5835 » Modeling Systems in CLP |
193
click to vote
SAC
2005
ACM
16 years 5 days ago
2005
ACM
This paper describes the use of fault tolerance in a multiagent system. Such an approach is based on the modeling of autonomous agents with planning capabilities. These capabiliti...
158
click to vote
CCIA
2005
Springer
16 years 4 days ago
2005
Springer
The objective of this paper is two-fold. The first is to develop a methodology capable of extracting the Human Values Scale (HVS) from the user, with reference to his/her objective...
150
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
As power system loading increases, larger blackouts due to cascading outages become more likely. We investigate a critical loading at which the average size of blackouts increases...
207
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
Scientific visualization and simulation frameworks mostly use data/event flow mechanisms for simulation specification, control, and interactivity. Even though object orientation p...
168
click to vote
FSTTCS
2006
Springer
15 years 10 months ago
2006
Springer
We establish a decidability boundary of the model checking problem for infinite-state systems defined by Process Rewrite Systems (PRS) or weakly extended Process Rewrite Systems (w...