3828 search results - page 128 / 766 » Proof-Based System Engineering Using a Virtual System Model |
176
Voted
EUROMICRO
1999
IEEE
15 years 9 months ago
1999
IEEE
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
136
click to vote
SIGSOFT
2004
ACM
16 years 5 months ago
2004
ACM
Constructing rigorous models for analysing the behaviour of concurrent and distributed systems is a complex task. Our aim is to facilitate model construction. Scenarios provide si...
152
click to vote
JODS
2006
15 years 5 months ago
2006
W3C's Semantic Web provides a common framework that allows data to be shared and reused across application and enterprise. As the Semantic Web shapes the future of the Web, it...
186
Voted
DAWAK
2001
Springer
15 years 9 months ago
2001
Springer
We present a framework for visualizing remote distributed data sources using a multi-user immersive virtual reality environment. DIVE-ON is a system prototype that consolidates dis...
149
click to vote
VRML
2003
ACM
15 years 10 months ago
2003
ACM
New acquisition and modeling tools make it easier to create 3D models, and affordable and powerful graphics hardware makes it easier to use them. As a result, the number of 3D mo...