3828 search results - page 92 / 766 » Proof-Based System Engineering Using a Virtual System Model |
104
click to vote
KES
2009
Springer
15 years 9 months ago
2009
Springer
In this paper we present a new methodology for the Domain modeling based on Engineering Standards. We discuss some benefits of standards as guidelines for a Knowledge Based Domain ...
129
Voted
IJISEC
2006
15 years 2 months ago
2006
Abstract A number of recent proposals aim to incorporate security engineering into mainstream software engineering. Yet, capturing trust and security requirements at an organizatio...
124
Voted
VRML
1999
ACM
15 years 7 months ago
1999
ACM
We describe a VRML/Java-based virtual environment that is populated with heterogeneous articulated agents. In this simulated environment, agents compete for collecting certain obj...
133
Voted
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
The emergence of standards for programming real-time systems in Java has encouraged many developers to consider its use for systems previously only built using C, Ada, or assembly...
122
Voted
ICIP
2008
IEEE
16 years 4 months ago
2008
IEEE
In this paper, we present a new method of synthesizing novel views from the virtual cameras in multiview camera configurations for 3DTV system. We introduce a semi N-view & N-...