788 search results - page 102 / 158 » Design and use of a system-level specification and verificat... |
130
click to vote
ICSE
2001
IEEE-ACM
15 years 10 months ago
2001
IEEE-ACM
Despite the advantages that object technology can provide to the software development community and its customers, the fundamental problems associated with identifying objects, th...
197
click to vote
UML
2001
Springer
15 years 10 months ago
2001
Springer
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
167
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
We present a language for specifying web service interfaces. A web service interface puts three kinds of constraints on the users of the service. First, the interface specifies th...
156
click to vote
KCAP
2005
ACM
15 years 12 months ago
2005
ACM
The Designers’ Workbench is a system, developed by the Advanced Knowledge Technologies (AKT) consortium to support designers in large organizations, such as RollsRoyce, by makin...
170
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
In this work an improvement of an initial approach to design Artificial Neural Networks to forecast Time Series is tackled, and the automatic process to design Artificial Neural N...