2435 search results - page 317 / 487 » GPSS - 40 years of development |
157
click to vote
SAT
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. During the recent years, the development of tools for deciding Quantified Boolean Formulas (QBFs) has been accompanied by a steady supply of real-world instances, i.e., ...
151
click to vote
UML
2004
Springer
15 years 12 months ago
2004
Springer
The description of software architectures has always been concerned with the definition of the appropriate languages for designing the various architectural artifacts. Over the pa...
160
click to vote
XPU
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. User acceptance testing is finally getting the attention and tool support it deserves. It is imperative that acceptance tests follow the best practices and embody the cri...
154
click to vote
COMPSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
With the rise of distributed e-commerce in recent years, demand for automated negotiation has increased. In turn, this has facilitated a demand for ever more complex algorithms to...
161
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
Intelligence Visions and Achievements: Linking Abstract Ideas to Real-World Concepts Menno Lindwer ¢¡ , Diana Marculescu £¥¤ , Twan Basten ¦§¡ , Rainer Zimmermann ¨ , Ra...