2518 search results - page 47 / 504 » Using Communication Objects During Requirements Analysis |
DC
2001
15 years 3 months ago
2001
In this paper, we consider the design of a new metadata format to advance scholarly communication over the Internet. This format is designed to be used within the Open Archives In...
107
click to vote
SIGDOC
2006
ACM
15 years 8 months ago
2006
ACM
This work will present elements of Genrich Altshuller’s Theory of Inventive Problem Solving, also known as TRIZ, and use them to describe the structural patterns found in the Ga...
127
click to vote
ESCIENCE
2007
IEEE
15 years 5 months ago
2007
IEEE
Abstract. We study the implementation on grid systems of an efficient algorithm for demanding global optimization problems. Specifically, we consider problems arising in the geneti...
118
click to vote
SPIN
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
175
click to vote
MM
2005
ACM
15 years 7 months ago
2005
ACM
Storage and retrieval technology for large-scale medical image systems has matured significantly during the past ten years but many implementations still lack cost-effective backu...