Model Checking is an automatic verification technique for state-transition systems that are finitestate or that have finite-state abstractions. In the early 1980’s in a series of joint papers with my graduate students E.A. Emerson and A.P. Sistla, we proposed that Model Checking could be used for verifying concurrent systems and gave algorithms for this purpose. At roughly the same time, Joseph...

Since its founding, NASA has been dedicated to the advancement of aeronautics and space science. The NASA Scientific and Technical Information (STI) Program Office plays a key part in helping NASA maintain this important role. The NASA STI Program Office is operated by Langley Research Center, the lead center for NASA's scientific and technical information. The NASA STI Program Office provides ...

Since its founding, NASA has been dedicated to the advancement of aeronautics and space science. The NASA scientific and technical information (STI) program plays a key part in helping NASA maintain this important role. The NASA STI program operates under the auspices of the Agency Chief Information Officer. It collects, organizes, provides for archiving, and disseminates NASA's STI. The NASA S...

Since its founding, NASA has been dedicated to the advancement of aeronautics and space science. The NASA Scientiic and Technical Information (STI) Program OOce plays a key part in helping NASA maintain this important role. The NASA STI Program OOce is operated by Langley Research Center, the lead center for NASA's scientiic and technical information. The NASA STI Program OOce provides access t...

Requirements have always been acknowledged as the backbone of any system. However, in many past development efforts, requirements were paid little heed. At NASA, in recent years, the hue and cry for project development has been “Faster, Better, Cheaper and Safer”. This has impacted the way we develop software; it has increased the risks to quality, safety and reliability. At NASA, the Software ...

D eep space presents numerous hazards and harsh conditions for remote exploration missions, which must often operate autonomously without intervention from Earth. To increase the survivability of the remote missions, NASA is exploiting principles and techniques that help such systems become more resilient through selfmanagement and automatic adaptation. By adhering to the principles of autonomi...

هدف: پژوهش حاضر با هدف تعیین نقش تعاملی خود­شفقت ­ورزی زوجین در تنظیم شناختی هیجان خود و همسر به روش مدل­سازی وابستگی متقابل عامل-شریک انجام شد. روش: از نوع توصیفی_همبستگی مدل­ یابی معادلات ساختاری بود. جامعه آماری شامل کلیه ساکن شهر تهران سال 1399 بود که بین آن‌ها 167 زوج (334 شرکت ­کننده) نمونه­ گیری دردسترس ­عنوان نمونه انتخاب برای گرداوری داده­ ها پرسشنامه راهبردهای تنظیم­ هیجان_فرم کوتاه گ...