Sciweavers

1141 search results - page 79 / 229
» A Generative Style-driven Framework for Software Architectur...
Sort
View
EMSOFT
2003
Springer
14 years 2 months ago
Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
Albert Benveniste, Luca P. Carloni, Paul Caspi, Al...
IEE
2007
126views more  IEE 2007»
13 years 8 months ago
Computer games software factory and edutainment platform for microsoft .NET
— This paper presents an environment targeted at computer games development industrialization in the .NET Platform. A computer game product line definition and its architecture a...
André Wilson Brotto Furtado, André L...
APSCC
2006
IEEE
14 years 16 days ago
A Model-Driven Aspect Framework for Grid Service Development
Service-Oriented Architecture (SOA) plays an important role in the next generation computing models for scientific and commercial applications. But difficulties in the development...
WenJun Li, ChuWei Huang, QiangChao Chen, Hui Bian
IPPS
2003
IEEE
14 years 2 months ago
Expresso and Chips: Creating a Next Generation Microarray Experiment Management System
Expresso is an experiment management system that is designed to assist biologists in planning, executing, and interpreting microarray experiments. It serves as a unifying framewor...
Allan A. Sioson, Jonathan I. Watkinson, Cecilia Va...
PVM
2001
Springer
14 years 1 months ago
An Architecture for a Multi-threaded Harness Kernel
Abstract. Harness is a reconÞgurable, heterogeneous distributed metacomputing framework for the dynamic conÞguration of distributed virtual machines, through the use of parallel ...
Wael R. Elwasif, David E. Bernholdt, James Arthur ...