5668 search results - page 344 / 1134 » Overlaps in Requirements Engineering |
155
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
In the near future, container ports will no longer be able to expand into the surrounding land and will thus be unable to meet the storage requirements due to the boom in world tr...
183
click to vote
VISSOFT
2002
IEEE
15 years 11 months ago
2002
IEEE
For users who peruse the World Wide Web to locate potentially useful security-related tools, the typical information contained in most sites - a pointer to the tool and, optionall...
153
click to vote
FASE
2001
Springer
15 years 11 months ago
2001
Springer
We define a formal execution semantics for UML activity diagrams that is appropriate for workflow modelling. Our semantics is aimed at the requirements level by assuming that sof...
155
click to vote
FSTTCS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In [12] we started a research on a distributed-timed extension of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the ...
156
click to vote
CODES
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a complete codesign environment for embedded systems which combines automatic partitioning with reuse from a module database. Special emphasis has been put on ...