Sciweavers

2903 search results - page 3 / 581
» On the univalence of an integral operator
Sort
View
73
Voted
TSE
2002
88views more  TSE 2002»
14 years 9 months ago
An Operational Process for Goal-Driven Definition of Measures
We propose an approach (GQM/MEDEA) for defining measures of product attributes in software engineering. The approach is driven by the experimental goals of measurement, expressed v...
Lionel C. Briand, Sandro Morasca, Victor R. Basili
71
Voted
SOSYM
2002
123views more  SOSYM 2002»
14 years 9 months ago
A structured operational semantics for UML-statecharts
The Unified Modeling Language (UML) has gained wide acceptance in very short time because of its variety of well-known and intuitive graphical notations. However, this comes at the...
Michael von der Beeck
LOGCOM
1998
122views more  LOGCOM 1998»
14 years 9 months ago
Adding the Everywhere Operator to Propositional Logic
Sound and complete modal propositional logic C is presented, in which 2P has the interpretation “ P is true in all states”. The interpretation is already known as the Carnapia...
David Gries, Fred B. Schneider
66
Voted
ICPR
2010
IEEE
14 years 8 months ago
Local Optical Operators for Subpixel Scene Analysis
In this paper we present a scene analysis technique with subpixel filtering based on dense coded light fields. Our technique computes alignment and optically projects analysis ...
Yves Jean
WSC
2004
14 years 11 months ago
Operational Analysis Framework for Emergency Operations Center Preparedness Training
As the U.S. Department of Homeland Security works to create an integrated emergency response system, it is evident that computer-based solutions can support this process. Individu...
Eytan Pollak, Mark Falash, Lorie Ingraham, Vivian ...