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 3 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
180
Voted
WWW
2004
ACM
16 years 6 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 10 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 9 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
16 years 10 days 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...