2748 search results - page 390 / 550 » Generating Object-Z Specifications from Use Cases |
120
Voted
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
We generalise Fiore et al's account of variable binding for untyped cartesian contexts and Tanaka's account of variable binding for untyped linear contexts to give an ac...
156
click to vote
IPCCC
1999
IEEE
15 years 8 months ago
1999
IEEE
Performance evaluation of modern, highly speculative, out-of-order microprocessors and the corresponding production of detailed, valid, accurate results have become serious challe...
174
click to vote
VIS
2009
IEEE
16 years 5 months ago
2009
IEEE
In this paper we describe a novel method to integrate interactive visual analysis and machine learning to support the insight generation of the user. The suggested approach combine...
112
click to vote
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
Traditionally, the mutation rates of genetic algorithms are fixed or decrease over the generations. Although it seems to be reasonable for classical genetic algorithms, it may not...
117
Voted
WIESS
2000
15 years 5 months ago
2000
As IPC mechanisms become faster, stub-code efficiency becomes a performance issue for local client/server RPCs and inter-component communication. Inefficient and unnecessary compl...