3828 search results - page 122 / 766 » Proof-Based System Engineering Using a Virtual System Model |
156
click to vote
CCECE
2006
IEEE
15 years 11 months ago
2006
IEEE
The relevance of distributed virtual environments (DVE) and interactive 3D worlds for entertaining and commercial purposes is steadily increasing. DVEs are typically implemented a...
144
click to vote
ANSS
1999
IEEE
15 years 9 months ago
1999
IEEE
The need for traffic analysis and traffic management applies to a vast range of disciplines. Simulation of traffic may assist in both analysis and management of traffic. In many s...
133
Voted
ADAEUROPE
2008
Springer
15 years 7 months ago
2008
Springer
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
142
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
In the past emotions have been dismissed as a distraction to the logical, scientific thought process. More recently however, the importance of emotion in human-like intelligence a...
147
click to vote
CISIS
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—Performance is a key feature of large-scale computing systems. However, the achieved performance when a certain program is executed is significantly lower than the maxi...