5550 search results - page 238 / 1110 » Different Approaches to Proof Systems |
154
click to vote
SERP
2003
15 years 8 months ago
2003
In many cases, product families are established on top of a successful pilot product. While this approach provides an option to measure many concrete attributes like performance a...
170
click to vote
KESAMSTA
2010
Springer
15 years 4 months ago
2010
Springer
Computational Trust and Reputation (CTR) systems are essential in electronic commerce to encourage interactions and suppress deceptive behaviours. This paper focus on comparing two...
163
click to vote
ICCS
2007
Springer
16 years 23 days ago
2007
Springer
In this multi-university collaborative research, we will develop a framework for the dynamic data-driven fault diagnosis of wind turbines which aims at making the wind energy a com...
177
click to vote
DATE
2006
IEEE
16 years 20 days ago
2006
IEEE
With the increasing complexity and heterogeneity of embedded electronic systems, a unified design methodology at evels of abstraction becomes a necessity. Meanwhile, it is also i...
147
click to vote
ANSS
2001
IEEE
15 years 10 months ago
2001
IEEE
We present the definition of diverse models of physical systems using the Cell-DEVS paradigm. Cell-DEVS is an extension of the DEVS formalism that allows the definition of cellula...