3828 search results - page 116 / 766 » Proof-Based System Engineering Using a Virtual System Model |
140
Voted
WCRE
2002
IEEE
15 years 10 months ago
2002
IEEE
Today, software-engineering research and industry alike recognize the need for practical tools to support reverseengineering activities. Most of the well-known CASE tools support ...
140
click to vote
ASM
2010
ASM
16 years 2 months ago
2010
ASM
The Java programming language has been widely described as secure by design. Nevertheless, a number of serious security vulnerabilities have been discovered in Java, particularly i...
157
Voted
ICFEM
1998
Springer
15 years 9 months ago
1998
Springer
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
131
click to vote
IVA
2007
Springer
15 years 11 months ago
2007
Springer
This paper presents an approach to incorporate emotion regulation as addressed within psychology literature into virtual characters. To this end, first Gross’ informal theory of ...
141
Voted
VMCAI
2004
Springer
15 years 10 months ago
2004
Springer
Biological systems can be modeled beneficially as reactive systems, using languages and tools developed for the construction of man-made systems. Our long-term aim is to model a f...