Sciweavers

468 search results - page 42 / 94
» Specification of Behaviour in Component Frameworks
Sort
View
ATAL
2010
Springer
13 years 9 months ago
A game-theoretic analysis of market selection strategies for competing double auction marketplaces
In this paper, we propose a novel general framework for analysing competing double auction markets that vie for traders, who then need to choose which market to go to. Based on th...
Bing Shi, Enrico H. Gerding, Perukrishnen Vyteling...
FMCO
2003
Springer
162views Formal Methods» more  FMCO 2003»
14 years 1 months ago
An MDA Approach to Tame Component Based Software Development
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
Jean-Marc Jézéquel, Olivier Defour, ...
CBSE
2004
Springer
14 years 1 months ago
Extra-Functional Contract Support in Components
According to Szyperski, “a software component is a unit of composition with contractually specified interfaces and explicit context dependencies only”. But it is well known tha...
Olivier Defour, Jean-Marc Jézéquel, ...
DELTA
2002
IEEE
14 years 1 months ago
State Transition Based Supervisory Control for a Robot Soccer System
Distributed robot control systems consist of mechanical systems powered by actuators that are under the control of computer systems that rely on sensor input, such as vision, touc...
Gourab Sen Gupta, H. L. Sng, Chris H. Messom
BMCBI
2010
133views more  BMCBI 2010»
13 years 8 months ago
New components of the Dictyostelium PKA pathway revealed by Bayesian analysis of expression data
Background: Identifying candidate genes in genetic networks is important for understanding regulation and biological function. Large gene expression datasets contain relevant info...
Anup Parikh, Eryong Huang, Christopher Dinh, Blaz ...