Sciweavers

404 search results - page 75 / 81
» Software project management audits - update and experience r...
Sort
View
SPATIALCOGNITION
1998
Springer
15 years 3 months ago
Mental Models in Spatial Reasoning
This chapter gives an overview of our ongoing experimental research in the MeMoSpace project, concerning the cognitive processes underlying human spatial reasoning. Our theoretical...
Markus Knauff, Reinhold Rauh, Christoph Schlieder,...
ELPUB
2007
ACM
15 years 3 months ago
Challenges in the Selection, Design and Implementation of an Online Submission and Peer Review System for STM Journals
Two international scientific publishers collaborated to develop an Online Submission and Peer Review System (OSPREY) for their journals. Our goals were to meet market demand, incr...
Judy Best, Richard Akerman
WWW
2004
ACM
16 years 10 days ago
Type based service composition
Service matchmaking and composition has recently drawn increasing attention in the research community. Most existing algorithms construct chains of services based on exact matches...
Ion Constantinescu, Boi Faltings, Walter Binder
FPL
2007
Springer
106views Hardware» more  FPL 2007»
15 years 5 months ago
RAMP Blue: A Message-Passing Manycore System in FPGAs
We are developing a set of reusable design blocks and several prototype systems for emulation of multi-core architectures in FPGAs. RAMP Blue is the first of these prototypes and...
Alex Krasnov, Andrew Schultz, John Wawrzynek, Greg...
LICS
2003
IEEE
15 years 5 months ago
Model checking for probability and time: from theory to practice
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
Marta Z. Kwiatkowska