4418 search results - page 478 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
197
click to vote
JSSPP
1995
Springer
15 years 10 months ago
1995
Springer
During the past ve years scientists discovered that modern UNIX workstations connected with ethernet and ber networks could provide enough computational performance to compete wit...
177
click to vote
EUROPAR
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Grid information systems play a central role in today’s production Grid infrastructures, enabling the discovery of a range of information about the Grid services that e...
195
click to vote
ICVS
2003
Springer
16 years 1 days ago
2003
Springer
We propose a method to construct computer vision systems using a workbench composed of a multi-faceted toolbox and a general purpose kernel. The toolbox is composed of an open set ...
159
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We study the complexity of computing the real solutions of a bivariate polynomial system using the recently proposed algorithm Bisolve [3]. Bisolve is a classical elimination metho...
189
click to vote
EWHCI
1993
15 years 11 months ago
1993
The Wizard of Oz (WOz) technique is an experimental evaluation mechanism. It allows the observation of a user operating an apparently fully functioning system whose missing service...