15635 search results - page 498 / 3127 » Modelling and Design of VAML |
172
click to vote
FDG
2009
ACM
16 years 1 months ago
2009
ACM
As the interactive entertainment industry matures, a better understanding of what makes software entertaining is needed. A natural starting point is the application of traditional...
165
click to vote
CODES
2006
IEEE
16 years 28 days ago
2006
IEEE
Accurate modeling of communication is a necessary part of system level design for real-time safety-critical applications. For efficient prediction of a system’s performance, Tra...
161
click to vote
DATE
2006
IEEE
16 years 28 days ago
2006
IEEE
The increasing complexity of embedded systems pushes system designers to higher levels of abstraction. Transaction Level Modeling (TLM) has been proposed to model ation in systems...
189
click to vote
KBSE
2005
IEEE
16 years 13 days 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...
160
click to vote
AE
2005
Springer
16 years 12 days ago
2005
Springer
In the research field of Artificial Life, the concepts of emergence and adaptation form the basis of a class of models which describes reproducing individuals whose characteristics...