1306 search results - page 71 / 262 » A Diagrammatic Approach to Model Completion |
96
Voted
APSEC
2004
IEEE
15 years 4 months ago
2004
IEEE
With the advent of globalization and the Internet, the concept of global software development is gaining ground. The global development model opens up the possibility of 24-hour s...
FMCAD
2006
Springer
15 years 4 months ago
2006
Springer
In this paper we present a complete method for verifying properties expressed in the temporal logic CTL. In contrast to the majority of verification methods presented in recent yea...
114
click to vote
MATA
2000
Springer
15 years 4 months ago
2000
Springer
In order to model telecommunications services as mobile agent system, we are defining a methodology based on the RM-ODP standards. Our approach makes the distinction between the se...
105
Voted
ENTCS
2008
15 years 19 days ago
2008
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and ...
86
Voted
IJON
2000
15 years 12 days ago
2000
In this paper we propose an approach to variable selection that uses a neural-network model as the tool to determine which variables are to be discarded. The method performs a bac...