Sciweavers

3706 search results - page 244 / 742
» System Description: E-KRHyper
Sort
View
117
Voted
ACMICEC
2006
ACM
217views ECommerce» more  ACMICEC 2006»
15 years 6 months ago
Adaptive decision support system (ADSS) for B2C e-commerce
This paper covers the research problem of supporting users' decision making in E-Commerce systems with complex choices, and design of an Adaptive Decision Support System (ADS...
Faisal Al-Qaed, Alistair G. Sutcliffe
FDL
2005
IEEE
15 years 6 months ago
Embed Scripting inside SystemC
Embedded system designs and simulations become tedious and time consuming due to the complexity of modern applications. Thus, languages allowing high level description, such as Sy...
J. Vennin, S. Penain, Luc Charest, Samy Meftali, J...
ISARCS
2010
156views Hardware» more  ISARCS 2010»
15 years 2 months ago
A Road to a Formally Verified General-Purpose Operating System
Methods of formal description and verification represent a viable way for achieving fundamentally bug-free software. However, in reality only a small subset of the existing operati...
Martin Decký
108
Voted
WISTP
2010
Springer
15 years 7 months ago
Towards Electrical, Integrated Implementations of SIMPL Systems
ct This paper discusses the practical implementation of a novel security tool termed SIMPL system, which was introduced in [1]. SIMPL systems can be regarded as a public key versio...
Ulrich Rührmair, Qingqing Chen, Martin Stutzm...
101
Voted
SASO
2008
IEEE
15 years 7 months ago
An Emergent System for Self-Aligning and Self-Organizing Shape Primitives
Motivated by the natural phenomenon of living cells selforganizing into specific shapes and structures, we present an emergent system that utilizes evolutionary computing methods...
Linge Bai, Manolya Eyiyurekli, David E. Breen