Sciweavers

10263 search results - page 85 / 2053
» From Use Cases to System Operation Specifications
Sort
View
FLAIRS
2006
14 years 11 months ago
Explicating Semantic Relations in Non-Monotonic Theories to Facilitate Validation Analysis
The inherent vagueness and ambiguity of non-monotonic reasoning makes it impossible to formulate detailed specifications to validate KBS performance by using traditional test-case...
Neli Zlatareva
CVPR
1999
IEEE
15 years 11 months ago
Estimation of Epipolar Geometry from Apparent Contours: Affine and Circular Motion Cases
This paper addresses the problem of estimating the epipolar geometry from apparent contours in two special cases: under weak perspective and for circular motion. An appropriate pa...
Paulo R. S. Mendonça, Roberto Cipolla
MANSCI
2008
54views more  MANSCI 2008»
14 years 9 months ago
Pricing and Operational Recourse in Coproduction Systems
Coproduction systems, in which multiple products are produced simultaneously in a single production run, are prevalent in many industries. Such systems typically produce a random ...
Brian Tomlin, Yimin Wang
MIDDLEWARE
2004
Springer
15 years 3 months ago
GridBox: securing hosts from malicious and greedy applications
Security is an important concern in providing the infrastructure for the implementation of general purpose computational grids. However, most grid implementations focus their secu...
Evgueni Dodonov, Joelle Quaini Sousa, Hélio...
FORTE
2004
14 years 11 months ago
Formal Composition of Distributed Scenarios
Eliciting, modeling, and analyzing the requirements are the main challenges to face up when you want to produce a formal specification for distributed systems. The distribution and...
Aziz Salah, Rabeb Mizouni, Rachida Dssouli, Benoit...