Sciweavers

3974 search results - page 653 / 795
» Metric Functional Dependencies
Sort
View
CAISE
1997
Springer
15 years 8 months ago
OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods
OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this fi...
Oscar Pastor, Emilio Insfrán, Vicente Pelec...
CIKM
1997
Springer
15 years 8 months ago
An Analysis of Cardinality Constraints in Redundant Relationships
In this paper, we present a complete analysis of redundant relationships in the entity-relationship model. Existing approaches use the concept of functional dependencies for ident...
James Dullea, Il-Yeol Song
ICDCS
1996
IEEE
15 years 8 months ago
Supporting a Flexible Parallel Programming Model on a Network of Workstations
We introduce a shared memory software prototype system for executing programs with nested parallelism on a network of workstations. This programming model exhibits a very convenie...
Shih-Chen Huang, Zvi M. Kedem
ITC
1996
IEEE
127views Hardware» more  ITC 1996»
15 years 8 months ago
Altering a Pseudo-Random Bit Sequence for Scan-Based BIST
This paper presents a low-overhead scheme for built-in self-test of circuits with scan. Complete (100%) fault coverage is obtained without modifying the function logic and without...
Nur A. Touba, Edward J. McCluskey
ICANN
1997
Springer
15 years 8 months ago
On Learning Soccer Strategies
We use simulated soccer to study multiagent learning. Each team's players (agents) share action set and policy but may behave differently due to position-dependent inputs. All...
Rafal Salustowicz, Marco Wiering, Jürgen Schm...