Sciweavers

446 search results - page 53 / 90
» LTS semantics for use case models
Sort
View
FMAM
2010
157views Formal Methods» more  FMAM 2010»
14 years 10 months ago
An Experience on Formal Analysis of a High-Level Graphical SOA Design
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova
CVPR
2006
IEEE
16 years 1 months ago
Modeling and Classifying Breast Tissue Density in Mammograms
We present a new approach to model and classify breast parenchymal tissue. Given a mammogram, first, we will discover the distribution of the different tissue densities in an unsu...
Anna Bosch, Arnau Oliver, Joan Martí, Xavie...
ECBS
2007
IEEE
145views Hardware» more  ECBS 2007»
15 years 3 months ago
Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...
Yosr Jarraya, Andrei Soeanu, Mourad Debbabi, Fawzi...
SCESM
2006
ACM
262views Algorithms» more  SCESM 2006»
15 years 5 months ago
Scenario-driven modeling and validation of requirements models
Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process ...
Christian Seybold, Silvio Meier, Martin Glinz
WWW
2006
ACM
16 years 16 days ago
Knowledge modeling and its application in life sciences: a tale of two ontologies
High throughput glycoproteomics, similar to genomics and proteomics, involves extremely large volumes of distributed, heterogeneous data as a basis for identification and quantifi...
Satya Sanket Sahoo, Christopher Thomas, Amit P. Sh...