3828 search results - page 115 / 766 » Proof-Based System Engineering Using a Virtual System Model |
132
Voted
CERA
2002
15 years 4 months ago
2002
: A pilot system has been developed to promote the collaborative engineering design on the Internet. Product models are stored in a shared database which is formatted according to ...
147
Voted
MM
2004
ACM
15 years 10 months ago
2004
ACM
We introduce a novel approach to the creation of Virtual Reality Art installations, which supports the design of alternative worlds, in which laws of Physics can be redefined to i...
173
click to vote
SIGSOFT
2002
ACM
16 years 5 months ago
2002
ACM
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...
132
Voted
ASAP
2009
IEEE
16 years 2 months ago
2009
IEEE
—This paper describes the acceleration of virtual ecology models using field-programmable gate arrays (FPGAs). Our approach targets models generated by the Virtual Ecology Workb...
157
click to vote
MOMPES
2006
IEEE
15 years 11 months ago
2006
IEEE
In this era of intense liking to automation in almost all time-critical fields, real-time systems have got widespread utilization in industrial, commercial, medical, space and mil...