3828 search results - page 61 / 766 » Proof-Based System Engineering Using a Virtual System Model |
COMPSAC
2009
IEEE
15 years 9 months ago
2009
IEEE
In software engineering projects, there are two different types of modeling tools. On the one hand, there are tools to model the system under construction, i.e. tools for requirem...
112
click to vote
ICCD
2008
IEEE
15 years 11 months ago
2008
IEEE
— We use a novel virtualization-based approach for computer architecture performance analysis. We present a case study analyzing a hypothetical hybrid main memory, which consists...
130
click to vote
ICSE
2009
IEEE-ACM
15 years 3 days ago
2009
IEEE-ACM
This paper presents experiments realized by Airbus on model checking a safety critical system, lessons learnt and ways forward to extend the industrial use of formal verification ...
92
Voted
IJWIN
2010
14 years 9 months ago
2010
Information regarding the propagation media is typically gathered by conducting physical experiments, measuring and processing the corresponding data to obtain channel characterist...
123
click to vote
PRESENCE
2006
15 years 2 months ago
2006
We present a physically-based approach to grasping and manipulation of virtual objects that produces visually realistic results, addresses the problem of visual interpenetration o...