Sciweavers

10241 search results - page 1551 / 2049
» Goal-Driven Software Development
Sort
View
EMSOFT
2003
Springer
15 years 10 months ago
Constraint-Based Design-Space Exploration and Model Synthesis
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
Sandeep Neema, Janos Sztipanovits, Gabor Karsai, K...
EUROPAR
2003
Springer
15 years 10 months ago
High-Level Process Control in Eden
High-level control of parallel process behaviour simplifies the development of parallel software substantially by freeing the programmer from low-level process management and coor...
Jost Berthold, Ulrike Klusik, Rita Loogen, Steffen...
FMCO
2003
Springer
123views Formal Methods» more  FMCO 2003»
15 years 10 months ago
Machine Function Based Control Code Algebras
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
Jan A. Bergstra
129
Voted
GCC
2003
Springer
15 years 10 months ago
GHIRS: Integration of Hotel Management Systems by Web Services
Nowadays web services technology is widely used to integrate heterogeneous systems and develop new applications. In this paper, an application of integration of hotel management sy...
Yang Xiang, Wanlei Zhou, Morshed U. Chowdhury
GLOBAL
2003
Springer
15 years 10 months ago
Performance Evaluation for Global Computation
Abstract. Global computing applications co-ordinate distributed computations across widely-dispersed hosts. Such systems present formidable design and implementation challenges to ...
Linda Brodo, Pierpaolo Degano, Stephen Gilmore, Ja...
« Prev « First page 1551 / 2049 Last » Next »