1426 search results - page 110 / 286 » Federated simulations for systems of systems integration |
201
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
160
click to vote
WSCG
2003
15 years 7 months ago
2003
In this paper we describe a basis for a system that is able to compute actual scientific and realistic visualization methods in parallel. It is capable to integrate easily in mod...
159
click to vote
ISCAS
2005
IEEE
16 years 49 min ago
2005
IEEE
—Distribution system operating environments are changing rapidly. For example, with the steady and significant increase in dispersed generation expected, planning and operating a...
153
click to vote
SIGGRAPH
1996
ACM
15 years 10 months ago
1996
ACM
Integrating force feedback with a complete real-time virtual environment system presents problems which are more difficult than those encountered in building simpler forcefeedback...
150
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
Two integrator backstepping designs are presented for digitally controlled continuous-time plants in special form. The controller designs are based on the Euler approximate discre...