Sciweavers

3719 search results - page 411 / 744
» Pellet System Description
Sort
View
CDC
2009
IEEE
116views Control Systems» more  CDC 2009»
15 years 11 months ago
A QSS approach for particle source identification in Tore Supra tokamak
In this work, we consider the problem of particle source identification from distributed electron density measurements in fusion plasmas, such as the ones obtained in Tore Supra t...
Emmanuel Witrant, Marc Goniche, E. Tore Supra
ERSHOV
2006
Springer
15 years 10 months ago
Information-Flow Attacks Based on Limited Observations
Abstract. Two formal models for description of timing attacks are presented, studied and compared with other security concepts. The models are based on a timed process algebra and ...
Damas P. Gruska
FM
2006
Springer
121views Formal Methods» more  FM 2006»
15 years 10 months ago
Properties of Behavioural Model Merging
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners adopt techniques that support partial behaviour...
Greg Brunet, Marsha Chechik, Sebastián Uchi...
ERCIMDL
2000
Springer
109views Education» more  ERCIMDL 2000»
15 years 10 months ago
CAP7: Searching and Browsing in Distributed Document Collections
Abstract. This paper describes CAP7, a system for searching and browsing in distributed document (metadata) collections. The system architecture is similar to Harvest, comprising g...
Norbert Fuhr, Kai Großjohann, Stefan Kokkeli...
ICFEM
1998
Springer
15 years 10 months ago
Formal Specification of CORBA Services Using Object-Z
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...
Detlef Kreuz