Sciweavers

5234 search results - page 236 / 1047
» Method Components - Rationale Revealed
Sort
View
FMCO
2007
Springer
129views Formal Methods» more  FMCO 2007»
15 years 10 months ago
Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project
As Internet applications become larger and more complex, the task of managing them becomes overwhelming. “Abnormal” events such as software updates, failures, attacks, and hots...
Peter Van Roy, Seif Haridi, Alexander Reinefeld, J...
IRI
2006
IEEE
15 years 10 months ago
Environment as support for simplification, reuse and integration of processes in spatial MAS
The development of solutions to complex problems requires finding answers to several questions which are obstacles on the road leading to the solution. To perpetuate progress, the...
Denis Payet, Rémy Courdier, Nicolas S&eacut...
103
Voted
DIS
2001
Springer
15 years 8 months ago
Separation of Photoelectrons via Multivariate Maxwellian Mixture Model
Electron velocity distribution obtained by direct spacecraft observation in space is contaminated by photoelectrons. The photoelectrons are generated due to the solar ultraviolet r...
Genta Ueno, Nagatomo Nakamura, Tomoyuki Higuchi
ITC
1997
IEEE
92views Hardware» more  ITC 1997»
15 years 8 months ago
Capacitive Leadframe Testing
Capacitive Leadframe testing is an effective approach for detecting faults in printed circuit boards. Capacitance measurements, however, are affected by mechanical variations duri...
Ted T. Turner
132
Voted
FTRTFT
1994
Springer
15 years 8 months ago
Specification and Refinement of Finite Dataflow Networks - a Relational Approach
We specify the black box behavior of dataflow components by characterizing the relation between their input and their output histories. We distinguish between three main classes of...
Manfred Broy, Ketil Stølen