4890 search results - page 143 / 978 » From system specifications to component behavioral models |
CISIS
2008
IEEE
14 years 11 months ago
2008
IEEE
We present a web system architecture using ontologies to improve the behavior of the system from the performance viewpoint. Since web system performance indexes depend on state an...
MATES
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this paper, an integrated approach for the modeling and the validation through simulation of multi-agent systems is proposed. The approach centers on the instantiation...
ECSA
2010
Springer
14 years 10 months ago
2010
Springer
In the software domain, self-adaptive systems are able to modify their behavior at run-time to respond to changes in the environment they run, to changes of the users' require...
TCAD
2008
14 years 10 months ago
2008
The verification of a system-on-chip is challenging due to its high level of integration. Multiple components in a system can behave concurrently and compete for resources. Hence, ...
ICMCS
2005
IEEE
15 years 3 months ago
2005
IEEE
Behavioral indicators of deception and behavioral state are extremely difficult for humans to analyze. This research effort attempts to leverage automated systems to augment human...