Sciweavers

792 search results - page 31 / 159
» Value Based Argumentation Frameworks
Sort
View
CC
2004
Springer
177views System Software» more  CC 2004»
14 years 3 months ago
Value-Based Partial Redundancy Elimination
Abstract. Partial redundancy elimination (PRE) is a program transformation that identifies and eliminates expressions that are redundant on at least one (but not necessarily all) ...
Thomas VanDrunen, Antony L. Hosking
FM
1999
Springer
126views Formal Methods» more  FM 1999»
14 years 1 months ago
Correctness Proof of the Standardized Algorithm for ABR Conformance
Conformance control for ATM cells is based on a real-time reactive algorithm which delivers a value depending on inputs from the network. This value must always agree with a well d...
Jean-François Monin, Francis Klay
ICC
2009
IEEE
133views Communications» more  ICC 2009»
14 years 4 months ago
On Quantizer Design for Soft Values in the Multiple-Access Relay Channel
—A network with two sources, one relay, and one destination is considered. Under the assumption of noisy sourcerelay links causing the relay to be unable to decode without error,...
Georg Zeitler, Ralf Koetter, Gerhard Bauch, Jö...
ESEM
2007
ACM
14 years 1 months ago
Value-Based Empirical Research Plan Evaluation
Empirical studies are crucial to gain evidence on the effects of software engineering methods and tools in defined contexts. However, empirical studies can be costly and thus need...
Stefan Biffl, Dietmar Winkler
HICSS
2008
IEEE
119views Biometrics» more  HICSS 2008»
14 years 4 months ago
A Value Network Model for Strategic Analysis
This paper describes a new framework for modeling value network of inter-organization interactions. We propose a set of building blocks elements of the model made of economic enti...
Alain Biem, Nathan Caswell