✦ LIBER ✦

Stream-Based Specification of Mobile Systems

✍ Scribed by Radu Grosu; Ketil Stølen

Book ID: 105742622
Publisher: Springer
Year: 2001
Tongue: English
Weight: 241 KB
Volume: 13
Category: Article
ISSN: 0934-5043
DOI: 10.1007/pl00003937

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Behavioral specification of reactive sys

Behavioral specification of reactive systems using stream-based I/O tables

✍ Judith Thyssen, Benjamin Hummel 📂 Article 📅 2011 🏛 Springer-Verlag 🌐 English ⚖ 686 KB

Proxy-based patching stream transmission

Proxy-based patching stream transmission strategy in mobile streaming media system

✍ Jianxin Liao; Zhengxiong Lei; Xutao Ma; Xiaomin Zhu 📂 Article 📅 2006 🏛 SP Science Press 🌐 English ⚖ 248 KB

Cluster Space Specification and Control

Cluster Space Specification and Control of Mobile Multirobot Systems

✍ Kitts, C.A.; Mas, I. 📂 Article 📅 2009 🏛 IEEE 🌐 English ⚖ 752 KB

Trust-based specification of sociotechni

Trust-based specification of sociotechnical systems

✍ Paja, Elda; Chopra, Amit K.; Giorgini, Paolo 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 942 KB

Sequence-based software specification of

Sequence-based software specification of deterministic systems

✍ Stacy J. Prowell; Jesse H. Poore 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 99 KB 👁 1 views

Specification of software under the box structure method requires a complete, consistent, and traceably-correct description of behavior solely in terms of external stimuli and responses. Such a specification, also called a black box, can be derived from the requirements through straightforward, syst

Error concealment aware streaming video

Error concealment aware streaming video system over packet-based mobile networks

✍ Jae-Young Pyun 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 958 KB