✦ LIBER ✦

Using RELAX, SysML and KAOS for Ambient Systems Requirements Modeling

✍ Scribed by Ahmad, Manzoor; Bruel, Jean-Michel; Laleau, Régine; Gnaho, Christophe

Book ID: 123271782
Publisher: Elsevier
Year: 2012
Tongue: English
Weight: 479 KB
Volume: 10
Category: Article
ISSN: 1877-0509
DOI: 10.1016/j.procs.2012.06.061

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Models and requirements for using strate

Models and requirements for using strategic information systems in developing nations

✍ P. Palvia; S. Palvia; R.M. Zigli 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 904 KB

[American Institute of Aeronautics and A

[American Institute of Aeronautics and Astronautics AIAA SPACE 2008 Conference & Exposition - San Diego, California ()] AIAA SPACE 2008 Conference & Exposition - S/C Behavior Modeling Using SysML for Model-Based Systems Engineering Support

✍ Peukert, Andreas 📂 Article 📅 2008 🏛 American Institute of Aeronautics and Astronautics ⚖ 464 KB

β-Cyclodextrin adducts of Gd(III) chelat

β-Cyclodextrin adducts of Gd(III) chelates: useful models for investigating the structural and dynamic determinants of the relaxivity of gadolinium-based systems

✍ Silvio Aime; Eliana Gianolio; Enzo Terreno; Ivan Menegotto; Chiara Bracco; Lucia 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 595 KB

## Abstract Gadolinium‐chelates bearing hydrophobic substituents on their surfaces form inclusion complexes with β‐cyclodextrin. When the chelate contains more than one substituent, the observed relaxation enhancement has to be analysed on the basis of the contributions arising from the actual spec

Measurement of Spin–Lattice Relaxation T

Measurement of Spin–Lattice Relaxation Times and Concentrations in Systems with Chemical Exchange Using the One-Pulse Sequence: Breakdown of the Ernst Model for Partial Saturation in Nuclear Magnetic Resonance Spectroscopy

✍ Richard G.S Spencer; Kenneth W Fishbein 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 187 KB

A fundamental problem in Fourier transform NMR spectroscopy is the calculation of observed resonance amplitudes for a repetitively pulsed sample, as first analyzed by Ernst and Anderson in 1966. Applications include determination of spin-lattice relaxation times (T 1 's) by progressive saturation an

[IEEE 2011 IEEE 9th International Confer

[IEEE 2011 IEEE 9th International Conference on Dependable, Autonomic and Secure Computing (DASC) - Sydney, Australia (2011.12.12-2011.12.14)] 2011 IEEE Ninth International Conference on Dependable, Autonomic and Secure Computing - Requirements Management Using KANO Model and AHP for Service Systems Design

✍ Lee, Jaeung; Sugumaran, Vijayan; Park, Sooyong 📂 Article 📅 2011 🏛 IEEE ⚖ 399 KB

[IEEE 2010 Seventh International Confere

[IEEE 2010 Seventh International Conference on the Quality of Information and Communications Technology (QUATIC) - Porto, Portugal (2010.09.29-2010.10.2)] 2010 Seventh International Conference on the Quality of Information and Communications Technology - Experiences on the Use of Business Models for Identifying Quality Requirements for Information systems

✍ Bittencourt, Rosaria; Araujo, Renata; Cappelli, Claudia; Ferreira, Juliana; Engi 📂 Article 📅 2010 🏛 IEEE ⚖ 269 KB