Sciweavers

7397 search results - page 146 / 1480
» Processes Are Data: A Programming Model for Distributed Appl...
Sort
View
IFIP
1999
Springer
15 years 9 months ago
Improving product development: Towards a framework for integrating artefact and process models
This paper initiates a framework for improving product development processes. The starting point is the present gap between the theory of product and process models and their actu...
Mervi Ranta, Martti Mäntylä, Riitta Smed...
139
Voted
UIST
1996
ACM
15 years 9 months ago
Language-Level Support for Exploratory Programming of Distributed Virtual Environments
We describe COTERIE, a toolkit that provides languagelevel support for building distributed virtual environments. COTERIE is based on the distributed data-object paradigm for dist...
Blair MacIntyre, Steven Feiner
PARA
2000
Springer
15 years 8 months ago
Experiments in Separating Computational Algorithm from Program Distribution and Communication
Our proposal has the following key features: 1) The separation of a distributed program into a pure algorithm (PurAl) and a distribution/communication declaration (DUAL). This yie...
Raphael B. Yehezkael, Yair Wiseman, H. G. Mendelba...
162
Voted
FMICS
2008
Springer
15 years 6 months ago
Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
Virginia Papailiopoulou, Laya Madani, Lydie du Bou...
126
Voted
ISMB
1996
15 years 6 months ago
The Mathematical Model of Subtractive Hybridization and Its Practical Application
A novel theory of subtractive hybridization including (or based on) the kinetic model of this process was proposed. A computer program modeling the process of subtraction wasdevel...
Olga D. Ermolaeva, Sergey A. Lukyanov, Eugene D. S...