Sciweavers

3555 search results - page 437 / 711
» Security-Critical System Development with Extended Use Cases
Sort
View
VTC
2008
IEEE
196views Communications» more  VTC 2008»
16 years 1 months ago
Block Equalization and Generalized MLSE Arbitration for the HSPA WCDMA Uplink
Abstract— High Speed Packet Access (HSPA), the latest evolution of the Wideband Code Division Multiple Access (WCDMA) standard, provides higher uplink data rates using higher-ord...
Gregory E. Bottomley
ER
2001
Springer
163views Database» more  ER 2001»
15 years 11 months ago
Towards Ontologically Based Semantics for UML Constructs
Abstract. Conceptual models are formal descriptions of application domains that are used in early stages of system development to support requirements analysis. The Unified Modeli...
Joerg Evermann, Yair Wand
TOG
2002
156views more  TOG 2002»
15 years 6 months ago
Chromium: a stream-processing framework for interactive rendering on clusters
We describe Chromium, a system for manipulating streams of graphics API commands on clusters of workstations. Chromium's stream filters can be arranged to create sort-first a...
Greg Humphreys, Mike Houston, Ren Ng, Randall Fran...
JCDL
2006
ACM
106views Education» more  JCDL 2006»
16 years 24 days ago
Learning by building digital libraries
The implications of using digital library software in educational contexts, for both the students and the software developers, are discussed in the light of two case studies of co...
David M. Nichols, David Bainbridge, J. Stephen Dow...
AUSAI
1997
Springer
15 years 11 months ago
Evaluating a Qualitative Reasoner
In order to support verification, validation and analysis of dynamic Operations Research (OR) models a method of testing models against data is required. In the case of the QCM qu...
Sam Waugh, Tim Menzies, Simon Goss