Search Sciweavers | Sciweavers

5754 search results - page 51 / 1151

» Multi-class Model M

134

click to vote

IFIP
2004
Springer

92views Programming Languages» more IFIP 2004»

A Trust Model with Statistical Foundation

15 years 11 months ago

Download www.site.uottawa.ca

Jianqiang Shi, Gregor von Bochmann, Carlisle M. Ad...

claim paper

Read More »

123

click to vote

MDAFA
2004
Springer

103views Hardware» more MDAFA 2004»

Platform-Independent Modelling in MDA: Supporting Abstract Platforms

15 years 11 months ago

Download wwwhome.cs.utwente.nl

João Paulo A. Almeida, Remco M. Dijkman, Ma...

claim paper

Read More »

135

click to vote

VMCAI
2004
Springer

93views Software Engineering» more VMCAI 2004»

Completeness and Complexity of Bounded Model Checking

15 years 11 months ago

Download www.kroening.com

Edmund M. Clarke, Daniel Kroening, Joël Ouakn...

claim paper

Read More »

119

click to vote

ISCAS
2002
IEEE

98views Hardware» more ISCAS 2002»

Analysis of Hopf bifurcation in parallel-connected boost converters via averaged models

15 years 11 months ago

Download repository.lib.polyu.edu.hk

Herbert H. C. Iu, C. K. Tse, V. Pjevalica, Y. M. L...

claim paper

Read More »

128

click to vote

COCOON
1999
Springer

101views Combinatorics» more COCOON 1999»

The Web as a Graph: Measurements, Models, and Methods

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers