Sciweavers

3828 search results - page 56 / 766
» Proof-Based System Engineering Using a Virtual System Model
Sort
View
138
Voted
EJASMP
2010
108views more  EJASMP 2010»
14 years 11 months ago
Physically Motivated Environmental Sound Synthesis for Virtual Worlds
A system is described for simulating environmental sound in interactive virtual worlds, using the physical state of objects as control parameters. It contains a unified framework ...
Dylan Menzies
109
Voted
KBSE
2008
IEEE
15 years 11 months ago
VCR: Virtual Capture and Replay for Performance Testing
This paper proposes a novel approach to performance testing, called Virtual Capture and Replay (VCR), that couples a capture-and-replay technique with the checkpointing capabiliti...
Antonia Bertolino, Guglielmo De Angelis, Antonino ...
VRST
2003
ACM
15 years 9 months ago
Interactive modeling of trees by using growth simulation
We propose a real-time interactive system that enables users to generate, manipulate and edit the shape model of a tree based on growth simulation by directly indicating its globa...
Katsuhiko Onishi, Shoichi Hasuike, Yoshifumi Kitam...
138
Voted
TSE
1998
115views more  TSE 1998»
15 years 4 months ago
Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering
—It is well known that requirements engineering plays a critical role in software quality. The use case approach is a requirements elicitation technique commonly used in industri...
Woo Jin Lee, Sung Deok Cha, Yong Rae Kwon
TASE
2008
IEEE
15 years 11 months ago
An Empirical Study of Maintainability in Aspect-Oriented System Evolution Using Coupling Metrics
In this paper, we propose a fine-grained coupling metrics suite for aspect-oriented (AO) systems, to measure software changes during system evolution. We also present a correlati...
Haihao Shen, Sai Zhang, Jianjun Zhao