702 search results - page 29 / 141 » 3D behavioral model design for simulation and software engin... |
APSEC
2002
IEEE
14 years 24 days ago
2002
IEEE
We present a discrete simulation model for software projects which explicitly takes a scheduling strategy as input. The model represents varying staff skill levels, component coup...
IUI
1998
ACM
14 years 1 days ago
1998
ACM
Life-likeanimatedinterfaceagentsforknowledge-basedlearning environments can provide timely, customized advice to support students’ problem solving. Because of their strong visua...
ICSEA
2006
IEEE
14 years 1 months ago
2006
IEEE
A modeling process is presented for extracting timingaccurate simulation models from complex embedded realtime systems. The process is supported by two complementary methods for t...
VLSI
2007
Springer
14 years 1 months ago
2007
Springer
Abstract—Analysis and verification environments for nextgeneration nano-scale RFIC designs must be able to cope with increasing design complexity and to account for new effects,...
KBSE
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...