Sciweavers

3706 search results - page 240 / 742
» OntoComP System Description
Sort
View
EUROMICRO
2009
IEEE
15 years 10 months ago
Formal Semantics of the ProCom Real-Time Component Model
ProCom is a new component model for real-time and embedded systems, targeting the domains of vehicular and telecommunication systems. In this paper, we describe how the architectur...
Aneta Vulgarakis, Jagadish Suryadevara, Jan Carlso...
JNW
2008
171views more  JNW 2008»
15 years 6 months ago
The Necessity of Semantic Technologies in Grid Discovery
Service discovery and its automation are some of the key features that a large scale, open distributed system must provide so that clients and users may take advantage of shared re...
Serena Pastore
ACMICEC
2006
ACM
217views ECommerce» more  ACMICEC 2006»
16 years 13 days 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
16 years 2 days 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 8 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ý