3828 search results - page 137 / 766 » Proof-Based System Engineering Using a Virtual System Model |
170
click to vote
APCCAS
2006
IEEE
15 years 11 months ago
2006
IEEE
— A novel black-box model for time series of prices analysis is proposed. It is constructed using the technique of “shaping filter”. The model identification is then propos...
148
click to vote
AMOST
2005
ACM
15 years 7 months ago
2005
ACM
Early estimation of defect density of a product is an important step towards the remediation of the problem associated with affordably guiding corrective actions in the software d...
170
click to vote
IM
1997
15 years 6 months ago
1997
In this paper, we will introduce two different three dimensional VR-based user interface for telecommunication network management. The first one is an immersive system, using HMD ...
164
click to vote
CAI
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. This paper discusses schema evolution in software engineering databases. After a study of existing approaches, we show that these approaches do not satisfy software engin...
175
click to vote
COMPUTER
2002
15 years 5 months ago
2002
ions and concepts that let applications access and share resources and services across distributed, wide area networks, while providing common security semantics, distributed resou...