234 search results - page 18 / 47 » Validation of requirement models by automatic prototyping |
WSC
1997
15 years 7 days ago
1997
This paper describes the Integrated Medical Analysis System. This evolving system consists of an integrated suite of models and tools providing quantitative and dynamic analysis f...
104
click to vote
FAC
2008
14 years 11 months ago
2008
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...
83
Voted
ICECCS
2009
IEEE
15 years 5 months ago
2009
IEEE
Collaborative development, incremental design and revision management require the ability to compare different versions of software artifacts. There are well-established approache...
CASCON
2006
15 years 9 days ago
2006
Automatically determining the situation of an ad-hoc group of people and devices within a smart environment is a significant challenge in pervasive computing systems. Current appro...
BROADNETS
2007
IEEE
15 years 5 months ago
2007
IEEE
Abstract — In order to perform valid experiments, traffic generators used in network simulators and testbeds require up to date models of traffic as it exists on real network lin...