3828 search results - page 427 / 766 » Proof-Based System Engineering Using a Virtual System Model |
190
click to vote
RT
1999
Springer
15 years 11 months ago
1999
Springer
: One of the most important goals of interactive computer graphics is to allow a user to freely walk around a virtual recreation of a real environment that looks as real as the wor...
159
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Ontology matching is currently a key technology to achieve the semantic alignment of ontological entities used by knowledge-based applications, and therefore to enable their inter...
183
click to vote
CISIS
2010
IEEE
16 years 3 days ago
2010
IEEE
—The SERSCIS project aims to support the use of interconnected systems of services in Critical Infrastructure (CI) applications. The problem of system interconnectedness is aptly...
201
click to vote
HPCA
2011
IEEE
14 years 10 months ago
2011
IEEE
As the web becomes the platform of choice for execution of more complex applications, a growing portion of computation is handed off by developers to the client side to reduce net...
191
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
Over the past years it has become evident that the benefits of object orientation warrant the design and development of reengineering methods that aim to migrate legacy procedural...