3828 search results - page 599 / 766 » Proof-Based System Engineering Using a Virtual System Model |
166
click to vote
IEEEICCI
2002
IEEE
15 years 11 months ago
2002
IEEE
In software engineering community there is an increasing effort of design and development of multiagent systems (MAS). Among several issues emerging from this initiative, complexi...
145
click to vote
EMO
2001
Springer
15 years 10 months ago
2001
Springer
This paper examines the road train concept as a new alternative in long-distance freight traffic. The design of such a system is a difficult task since many different and conflicti...
139
Voted
ISSRE
2000
IEEE
15 years 10 months ago
2000
IEEE
This author has mathematically correlated specific developmentpractices to defect density andprobability of on time delivev. Thispaper summarizes the results of this ongoing study...
172
Voted
KBSE
2000
IEEE
15 years 10 months ago
2000
IEEE
When a lack of data inhibits decision making, large scale what-if queries can be conducted over the uncertain parameter ranges. Such what-if queries can generate an overwhelming a...
174
Voted
AMAST
2000
Springer
15 years 10 months ago
2000
Springer
In the paper we present an ACP-like process algebra which can be used to model both probabilistic and time behaviour of parallel systems. This process algebra is obtained by extens...