Search Sciweavers | Sciweavers

8337 search results - page 78 / 1668

» Reasoning With Characteristic Models

134

click to vote

FM
2001
Springer

85views Formal Methods» more FM 2001»

A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware

15 years 10 months ago

Download www.ics.uci.edu

Nalini Venkatasubramanian, Carolyn L. Talcott, Gul...

claim paper

Read More »

116

click to vote

COOPIS
1998
IEEE

74views Information Technology» more COOPIS 1998»

Information Integration: Conceptual Modeling and Reasoning Support

15 years 10 months ago

Download www.inf.unibz.it

Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...

claim paper

Read More »

138

click to vote

CBSE
2006
Springer

154views Software Engineering» more CBSE 2006»

GLoo: A Framework for Modeling and Reasoning About Component-Oriented Language Abstractions

15 years 10 months ago

Download www.ict.swin.edu.au

Markus Lumpe

claim paper

Read More »

111

click to vote

KES
2000
Springer

99views Information Technology» more KES 2000»

Fuzzy reasoning model of facial selection and its applications

15 years 9 months ago

Download visgraph.cs.ust.hk

T. Yamashita, T. Ichimura, E. Tazaki, M. Takahashi

claim paper

Read More »

135

click to vote

DOOD
1995
Springer

91views Database» more DOOD 1995»

Structured Objects: Modeling and Reasoning

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers