Sciweavers

3828 search results - page 231 / 766
» Proof-Based System Engineering Using a Virtual System Model
Sort
View
VC
2010
146views more  VC 2010»
15 years 4 months ago
View-dependent exploration of massive volumetric models on large-scale light field displays
We report on a light-field display based virtual environment enabling multiple naked-eye users to perceive detailed multi-gigavoxel volumetric models as floating in space, respon...
José Antonio Iglesias Guitián, Enric...
ICSM
2009
IEEE
16 years 1 months ago
Predicting change impact from logical models
To improve the ability of predicting the impact scope of a given change, we present two approaches applicable to the maintenance of object-oriented software systems. Our first ap...
Sunny Wong, Yuanfang Cai
WCRE
2005
IEEE
16 years 2 days ago
Deobfuscation: Reverse Engineering Obfuscated Code
In recent years, code obfuscation has attracted attention as a low cost approach to improving software security by making it difficult for attackers to understand the inner worki...
Sharath K. Udupa, Saumya K. Debray, Matias Madou
SIGMETRICS
2011
ACM
245views Hardware» more  SIGMETRICS 2011»
14 years 9 months ago
Record and transplay: partial checkpointing for replay debugging across heterogeneous systems
Software bugs that occur in production are often difficult to reproduce in the lab due to subtle differences in the application environment and nondeterminism. To address this pr...
Dinesh Subhraveti, Jason Nieh
EUROMICRO
1999
IEEE
15 years 10 months ago
JFS: A Secure Distributed File System for Network Computers
Network-centric computing aims to solve the problems associated with traditional client/server systems, namely the high performance requirements, and costly maintenance of, the co...
Marcus O'Connell, Paddy Nixon