303 search results - page 45 / 61 » A novel approach to DFM in toolmaking: a case study |
138
click to vote
WWW
2003
ACM
16 years 2 months ago
2003
ACM
This paper describes a novel approach for obtaining semantic interoperability among data sources in a bottom-up, semiautomatic manner without relying on pre-existing, global seman...
111
click to vote
UAI
1996
15 years 3 months ago
1996
The study of belief change has been an active area in philosophy and AI. In recent years, two special cases of belief change, belief revision and belief update, have been studied ...
125
click to vote
COMCOM
2008
15 years 2 months ago
2008
Modeling peer-to-peer (P2P) networks is a challenge for P2P researchers. In this paper, we provide a detailed analysis of large-scale hybrid P2P overlay network topology, using Gn...
110
click to vote
CAV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Synthesis of finite state systems from full linear time temporal logic (LTL) specifications is gaining more and more attention as several recent achievements have signi...
109
click to vote
CBSE
2006
Springer
15 years 5 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...