2714 search results - page 96 / 543 » A Service-Oriented Approach for Model Management |
170
click to vote
CAV
2005
Springer
15 years 12 months ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
169
click to vote
AAAI
2010
15 years 5 months ago
2010
hey generalize these factors to the abstract concepts of ability, integrity, and benevolence. This model does not use probabilistic decision theory. Other SCM trust factors have be...
171
click to vote
ISCA
2007
IEEE
16 years 18 days ago
2007
IEEE
With increasing speed and power density, high-performance memories, including FB-DIMM (Fully Buffered DIMM) and DDR2 DRAM, now begin to require dynamic thermal management (DTM) a...
154
click to vote
CAS
2004
15 years 6 months ago
2004
Transportation and its environmental impacts are a major component of urban environmental management. At the same time, transportation and mobility are an important part or urban ...
175
click to vote
ESAW
2009
Springer
16 years 26 days ago
2009
Springer
Autonomous software agents provide a promising solution to the needs of decentralised networked systems, able to adapt their behaviour in a complex and dynamically changing environ...