9067 search results - page 1693 / 1814 » Adaptive Model Checking |
136
click to vote
DSS
2007
15 years 6 months ago
2007
As modern software-based systems and applications gain in versatility and functionality, the ability to manage inconsistent resources and service disparate user requirements becom...
163
click to vote
DSS
2007
15 years 6 months ago
2007
There is much literature in the area of emergency response management systems. Even so, there is in general a lacuna of literature that deals with the issue of measuring the effec...
168
click to vote
JGTOOLS
2006
15 years 6 months ago
2006
We render tree foliage levels of detail (LODs) using a new adaptation of billboard clouds. Our contributions are a simple and efficient billboard cloud creation algorithm designed...
164
click to vote
ENGL
2007
15 years 6 months ago
2007
— This paper presents a new intelligent agent supervisory loop based approach for dynamic system control. The scheme consists of three software agents that work in an autonomous ...
166
click to vote
JUCS
2006
15 years 6 months ago
2006
: To many people, home is a sanctuary. For those people who need special medical care, they may need to be pulled out of their home to meet their medical needs. As the population a...