Sciweavers

10284 search results - page 476 / 2057
» Designing for nomadic work
Sort
View
RE
2001
Springer
15 years 11 months ago
Software Acquisition: A Business Strategy Analysis
This paper argues that there are new insights to be gained from a strategic analysis of requirements engineering. The paper is motivated by a simple question: what does it take to...
Barbara Farbey, Anthony Finkelstein
ICCAD
2000
IEEE
100views Hardware» more  ICCAD 2000»
15 years 11 months ago
Automated Data Dependency Size Estimation with a Partially Fixed Execution Ordering
For data dominated applications, the system level design trajectory should first focus on finding a good data transfer and storage solution. Since no realization details are avail...
Per Gunnar Kjeldsberg, Francky Catthoor, Einar J. ...
IJCNN
2000
IEEE
15 years 11 months ago
Unsupervised Learning of Neural Network Ensembles for Image Classification
In the field of pattern recognition, the combination of an ensemble of neural networks has been proposed as an approach to the development of high performance image classification...
Giorgio Giacinto, Fabio Roli, Giorgio Fumera
AISC
2010
Springer
15 years 11 months ago
Structured Formal Development with Quotient Types in Isabelle/HOL
General purpose theorem provers provide sophisticated proof methods, but lack some of the advanced structuring mechanisms found in specification languages. This paper builds on pr...
Maksym Bortin, Christoph Lüth
ISADS
1999
IEEE
15 years 11 months ago
Distributed Component-based Tailorability for CSCW Applications
Tailorability is generally regarded as a key property of groupware systems due to the dynamics and diversity of cooperative work. This article investigates the use of software com...
Oliver Stiemerling, Ralph Hinken, Armin B. Cremers