Sciweavers

1645 search results - page 132 / 329
» Rationale-Based Use Case Specification
Sort
View
COMPSAC
2003
IEEE
15 years 11 months ago
A Strategy for Selecting Synchronization Sequences to Test Concurrent Object-Oriented Software
Testing is the most commonly used approach to the assurance of software quality and reliability. The testing of object-oriented software is much more complex than that of conventi...
Huo Yan Chen, Yu Xia Sun, T. H. Tse
IEEEICCI
2002
IEEE
15 years 11 months ago
A Framework for Object Identification and Refinement Process in Object-Oriented Analysis and Design
There are already many projects focusing on Computer Aided Software Engineering (CASE) tools for object-oriented analysis and design. However, at this moment, there are certain li...
Romi S. Wahono, Behrouz H. Far
ICDCS
1993
IEEE
15 years 10 months ago
Diagnosis of Single Transition Faults in Communicating Finite State Machines
In this paper, we propose a diagnostic algorithm for the case where distributed system specifications (implementations) are given in the form of communicating finite state machine...
Abderrazak Ghedamsi, Gregor von Bochmann, Rachida ...
NIPS
2004
15 years 7 months ago
Exponentiated Gradient Algorithms for Large-margin Structured Classification
We consider the problem of structured classification, where the task is to predict a label y from an input x, and y has meaningful internal structure. Our framework includes super...
Peter L. Bartlett, Michael Collins, Benjamin Taska...
TSP
2008
77views more  TSP 2008»
15 years 6 months ago
Soft-Decision Metrics for Coded Orthogonal Signaling in Symmetric Alpha-Stable Noise
This paper derives new soft-decision metrics for coded orthogonal signaling in impulsive noise, more specifically symmetric -stable noise. For the case of a known channel amplitude...
Michael R. Souryal, Erik G. Larsson, Bojan Peric, ...