Sciweavers

5754 search results - page 51 / 1151
» Multi-class Model M
Sort
View
IFIP
2004
Springer
15 years 9 months ago
A Trust Model with Statistical Foundation
Jianqiang Shi, Gregor von Bochmann, Carlisle M. Ad...
96
Voted
MDAFA
2004
Springer
103views Hardware» more  MDAFA 2004»
15 years 9 months ago
Platform-Independent Modelling in MDA: Supporting Abstract Platforms
João Paulo A. Almeida, Remco M. Dijkman, Ma...
VMCAI
2004
Springer
15 years 9 months ago
Completeness and Complexity of Bounded Model Checking
Edmund M. Clarke, Daniel Kroening, Joël Ouakn...
92
Voted
ISCAS
2002
IEEE
98views Hardware» more  ISCAS 2002»
15 years 8 months ago
Analysis of Hopf bifurcation in parallel-connected boost converters via averaged models
Herbert H. C. Iu, C. K. Tse, V. Pjevalica, Y. M. L...
COCOON
1999
Springer
15 years 8 months ago
The Web as a Graph: Measurements, Models, and Methods
Jon M. Kleinberg, Ravi Kumar, Prabhakar Raghavan, ...