9006 search results - page 406 / 1802 » Modeling Software |
183
click to vote
NLDB
2004
Springer
16 years 4 days ago
2004
Springer
In recent literature it is commonly agreed that the first phase of the software development process is still an area of concern. Furthermore, while software technology has been ch...
179
click to vote
EWSA
2004
Springer
16 years 5 days ago
2004
Springer
This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language....
218
click to vote
EUROPAR
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Prefetching transfers a data item in advance from its storage location to its usage location so that communication is hidden and does not delay computation. We present a ...
155
click to vote
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
Recent research has made it possible to build information agents that retrieve and integrate information from the World Wide Web. Although there now exist solutions for modeling W...
159
click to vote
HASE
1997
IEEE
15 years 11 months ago
1997
IEEE
The testtng and valadatzon of formal speczficatzons of hzgh-assurance real-tzme systems repiizres a n ertenszble szniulatzon enrwonment wzth support for users to generate events, ...