Sciweavers

1261 search results - page 230 / 253
» Extending the Capabilities of Component Models for Embedded ...
Sort
View
IFIP12
2008
14 years 11 months ago
Agent Based Frequent Set Meta Mining: Introducing EMADS
In this paper we: introduce EMADS, the Extendible Multi-Agent Data mining System, to support the dynamic creation of communities of data mining agents; explore the capabilities of ...
Kamal Ali Albashiri, Frans Coenen, Paul H. Leng
CIS
2005
Springer
15 years 3 months ago
Distance Protection of Compensated Transmission Line Using Computational Intelligence
A new approach for protection of transmission line including TCSC is presented in this paper. The proposed method includes application of Fuzzy Neural Network for distance relaying...
S. R. Samantaray, Pradipta K. Dash, Ganapati Panda...
NOSSDAV
2005
Springer
15 years 3 months ago
A formal approach to design optimized multimedia service overlay
Service overlay networks have recently attracted tremendous interests. In this paper, we propose a new integrated framework for specifying services composed of service components ...
Hirozumi Yamaguchi, Khaled El-Fakih, Akihito Hirom...
ACL2
2006
ACM
15 years 1 months ago
Combining ACL2 and an automated verification tool to verify a multiplier
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...
Erik Reeber, Jun Sawada
81
Voted
BPM
2006
Springer
133views Business» more  BPM 2006»
15 years 1 months ago
Experiences in Enhancing Existing BPM Tools with BPEL Import and Export
The Business Process Execution Language for Web Services (BPEL) has become a de-facto standard for executable process specifications. The broad industry acceptance of BPEL forces w...
Jan Mendling, Kristian Bisgaard Lassen, Uwe Zdun