411 search results - page 4 / 83 » Leading dynamics to good behavior |
SLOGICA
2008
13 years 5 months ago
2008
In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis ...
ICCAD
2009
IEEE
13 years 3 months ago
2009
IEEE
Traditional circuit design focuses on optimizing the static critical paths no matter how infrequently these paths are exercised dynamically. Circuit optimization is then tuned to ...
CL
2006
Springer
13 years 5 months ago
2006
Springer
Many software systems suffer from missing support for behavioral (runtime) composition and configuration of software components. The concern "behavioral composition and confi...
MASCOTS
2010
13 years 7 months ago
2010
Mobility models have traditionally been tailored to specific application domains such as human, military, or ad hoc transportation scenarios. This tailored approach often renders a...
VTC
2006
IEEE
13 years 11 months ago
2006
IEEE
Abstract— The increasing complexity and dynamics of logistic processes is creating significant new challenges for the management of goods transport. This is leading to increased...