Search Sciweavers | Sciweavers

11436 search results - page 67 / 2288

» Modeling Real Reasoning

110

click to vote

ICEIS
2003
IEEE

70views Information Technology» more ICEIS 2003»

A Temporal Reasoning Approach of Communication Based Workflow Modelling

15 years 11 months ago

Download www.lcc.uma.es

José Luis Caro, Antonio Guevara, Sergio G&a...

claim paper

Read More »

137

Voted

FM
2001
Springer

85views Formal Methods» more FM 2001»

A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware

15 years 11 months ago

Download www.ics.uci.edu

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

claim paper

Read More »

118

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 »

145

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 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers