Sciweavers

9018 search results - page 193 / 1804
» 3D-Brain Model Software
Sort
View
128
Voted
SIGSOFT
2005
ACM
16 years 4 months ago
Towards a unified formal model for supporting mechanisms of dynamic component update
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
Junrong Shen, Xi Sun, Gang Huang, Wenpin Jiao, Yan...
ISW
2007
Springer
15 years 9 months ago
On the Concept of Software Obfuscation in Computer Security
Abstract. Program obfuscation is a semantic-preserving transformation aimed at bringing a program into such a form, which impedes the understanding of its algorithm and data struct...
Nikolay Kuzurin, Alexander Shokurov, Nikolay P. Va...
146
Voted
SLE
2009
Springer
15 years 8 months ago
Multi-view Composition Language for Software Product Line Requirements
Composition of requirements models in Software Product Line (SPL) development enables stakeholders to derive the requirements of target software products and, very important, to re...
Mauricio Alférez, João Santos, Ana M...
CGI
1999
IEEE
15 years 7 months ago
Virtual Laboratory: An Interactive Software Environment for Computer Graphics
Many activities in computer graphics can be regarded as experiments on virtual objects or models. In the process of experimentation the existing models are gradually improved and ...
Pavol Federl, Przemyslaw Prusinkiewicz
121
Voted
FM
1999
Springer
107views Formal Methods» more  FM 1999»
15 years 7 months ago
A Formalization of Software Architecture
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
John Herbert, Bruno Dutertre, Robert A. Riemenschn...