Sciweavers

1604 search results - page 89 / 321
» Development Separation in Lambda-Calculus
Sort
View
FMCO
2004
Springer
112views Formal Methods» more  FMCO 2004»
14 years 3 months ago
Probabilistic Linda-Based Coordination Languages
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
KES
2004
Springer
14 years 3 months ago
Automatic Solar Flare Tracking
Measurement of the evolution properties of solar flares through their complete cyclic development is crucial in the studies of Solar Physics. From analysis of solar Hα images, we...
Ming Qu, Frank Y. Shih, Ju Jing, Haimin Wang, Davi...
HICSS
2002
IEEE
93views Biometrics» more  HICSS 2002»
14 years 3 months ago
Too Much to Carry? Copyright Laws in the Electronic Environment
Digitization of information, the rise of the World Wide Web, and the development of new means for information creation, production and dissemination place new strains on the legal...
Terrence A. Maxwell
SAFECOMP
1999
Springer
14 years 2 months ago
Formal Design of Distributed Control Systems with Lustre
During the last decade, the synchronous approach has proved to meet industrial needs concerning the development of Distributed Control Systems (DCS): as an example, Schneider Elect...
Paul Caspi, Christine Mazuet, Rym Salem, Daniel We...
DAC
1997
ACM
14 years 2 months ago
Modeling Design Tasks and Tools: The Link Between Product and Flow Model
- The important step towards a comprehensive CAD framework is the development of a suitable, complete design model on which the design system’s components are based. To date, we ...
Bernd Schürmann, Joachim Altmeyer