Sciweavers

1026 search results - page 3 / 206
» Semantic Components for Timetabling
Sort
View
FMCO
2008
Springer
143views Formal Methods» more  FMCO 2008»
13 years 7 months ago
An Asynchronous Distributed Component Model and Its Semantics
This paper is placed in the context of large scale distributed programming, providing a programming model based on asynchronous components. It focuses on the semantics of asynchron...
Ludovic Henrio, Florian Kammüller, Marcela Ri...
QSIC
2007
IEEE
13 years 11 months ago
An Incremental and FCA-Based Ontology Construction Method for Semantics-Based Component Retrieval
In semantics-based component retrieval ontology is usually employed as the semantic basis for component representation and matching. Existing methods always assume that the ontolo...
Xin Peng, Wenyun Zhao
JSS
2006
155views more  JSS 2006»
13 years 5 months ago
Semantic component networking: Toward the synergy of static reuse and dynamic clustering of resources in the knowledge grid
Model is a kind of codified knowledge that has been verified in solving problems. Solving a complex problem usually needs a set of models. Using components, the composition of a s...
Hai Zhuge
KBSE
1995
IEEE
13 years 9 months ago
Classification and Retrieval of Reusable Components Using Semantic Features
cation at some level of abstraction, abandoning the semantic information provided by the specification. In this paper, we propose a methodology that ships the overhead of formal re...
John Penix, Phillip Baraona, Perry Alexander
ENTCS
2006
135views more  ENTCS 2006»
13 years 5 months ago
Formal Semantics and Analysis of Component Connectors in Reo
We present an operational semantics for a component composition language called Reo. Reo connectors exogenously compose and coordinate the interactions among individual components...
Mohammad Reza Mousavi, Marjan Sirjani, Farhad Arba...