Sciweavers

1210 search results - page 47 / 242
» Specifying Precise Use Cases with Use Case Charts
Sort
View
CORR
2010
Springer
135views Education» more  CORR 2010»
15 years 1 months ago
On Achievable Rates of the Two-user Symmetric Gaussian Interference Channel
We study the Han-Kobayashi (HK) achievable sum rate for the two-user symmetric Gaussian interference channel. We find the optimal power split ratio between the common and private m...
Omar Mehanna, John Marcos, Nihar Jindal
WWW
2004
ACM
16 years 4 months ago
Conceptual Modelling versus Semantic Web: the two sides of the same coin?
A Web Application must have a precise semantics. In currently Web Engineering environments, this can be achieved either by specifying a Web Conceptual Schema, or by using a Semant...
Oscar Pastor, Joan Fons, Victoria Torres, Vicente ...
UML
2001
Springer
15 years 8 months ago
Conformance Testing from UML Specifications. Experience Report
: UMLAUT is a framework for building tools dedicated to the manipulation of models described using the Unified Modeling Language (UML). TGV is a tool for the generation of conforma...
Lydie du Bousquet, Hugues Martin, Jean-Marc J&eacu...
CCS
2006
ACM
15 years 7 months ago
Using model-based security analysis in component-oriented system development
We propose an integrated process for component-based system development and security risk analysis. The integrated process is evaluated in a case study involving an instant messag...
Gyrd Brændeland, Ketil Stølen
SEW
2007
IEEE
15 years 10 months ago
Testing Patterns
: After over a decade of use, design patterns continue to find new areas of application. In previous work, we presented a contract formalism for specifying patterns precisely, and...
Neelam Soundarajan, Jason O. Hallstrom, Adem Delib...