Sciweavers

2930 search results - page 232 / 586
» A Constructive Approach to the Design of Distributed Systems
Sort
View
SYNASC
2008
IEEE
239views Algorithms» more  SYNASC 2008»
15 years 11 months ago
Undecidability Results for Finite Interactive Systems
Abstract. A new approach to the design of massively parallel and interactive programming languages has been recently proposed using rv-systems (interactive systems with registers a...
Alexandru Sofronia, Alexandru Popa, Gheorghe Stefa...
NBIS
2010
Springer
15 years 2 months ago
A New Ontology-Supported and Hybrid Recommending Information System for Scholars
A new ontology-supported and hybrid recommending information system for scholars was proposed. Not only can it fast integrate specific domain documents, but also it can extract imp...
Sheng-Yuan Yang, Chun-Liang Hsu
WSC
2008
15 years 7 months ago
A simulation framework for service-oriented computing systems
An SOA-compliant DEVS (SOAD) simulation framework is proposed for modeling service-oriented computing systems. A set of novel abstract component models that conform to the SOA pri...
Hessam S. Sarjoughian, Sungung Kim, Muthukumar Ram...
DAC
2008
ACM
16 years 5 months ago
Predictive runtime verification of multi-processor SoCs in SystemC
Concurrent interaction of multi-processor systems result in errors which are difficult to find. Traditional simulationbased verification techniques remove the concurrency informat...
Alper Sen, Vinit Ogale, Magdy S. Abadir
CORR
2004
Springer
106views Education» more  CORR 2004»
15 years 4 months ago
Intelligent Systems: Architectures and Perspectives
: The integration of different learning and adaptation techniques to overcome individual limitations and to achieve synergetic effects through the hybridization or fusion of these ...
Ajith Abraham