Sciweavers

2748 search results - page 443 / 550
» Generating Object-Z Specifications from Use Cases
Sort
View
125
Voted
HICSS
2002
IEEE
142views Biometrics» more  HICSS 2002»
15 years 8 months ago
Multi-perspective Enterprise Modeling (MEMO) - Conceptual Framework and Modeling Languages
For many companies, the strategic as well as the organizational fit of their information systems is a pivotal factor for staying competitive. At the same time, there is an increas...
Ulrich Frank
132
Voted
CORR
2008
Springer
104views Education» more  CORR 2008»
15 years 3 months ago
Some Aspects of Testing Process for Transport Streams in Digital Video Broadcasting
: This paper presents some aspects related to the DVB (Digital Video Broadcasting) investigation. Thebasicaspectsof DVB are presented, with an emphasis on DVB-T version of standard...
Radu Arsinte, Ciprian Ilioaei
140
Voted
BMCBI
2006
202views more  BMCBI 2006»
15 years 3 months ago
Spectral embedding finds meaningful (relevant) structure in image and microarray data
Background: Accurate methods for extraction of meaningful patterns in high dimensional data have become increasingly important with the recent generation of data types containing ...
Brandon W. Higgs, Jennifer W. Weller, Jeffrey L. S...
148
Voted
IANDC
2008
105views more  IANDC 2008»
15 years 3 months ago
Symbolic protocol analysis for monoidal equational theories
We are interested in the design of automated procedures for analyzing the (in)security of cryptographic protocols in the Dolev-Yao model for a bounded number of sessions when we t...
Stéphanie Delaune, Pascal Lafourcade, Denis...
141
Voted
CN
2002
117views more  CN 2002»
15 years 3 months ago
Achieving differentiated services through multi-class probabilistic priority scheduling
Differentiated Services (DiffServ) is a promising architecture for the next generation Internet due to its scalable and flexible design. In DiffServ, scheduling disciplines play an...
Chen-Khong Tham, Qi Yao, Yuming Jiang