Sciweavers

3828 search results - page 56 / 766
» Proof-Based System Engineering Using a Virtual System Model
Sort
View
EJASMP
2010
108views more  EJASMP 2010»
14 years 9 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
KBSE
2008
IEEE
15 years 8 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 7 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...
TSE
1998
115views more  TSE 1998»
15 years 2 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 8 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