Operational semantics, in which the meaning of a system is expressed as a sequence of actions of a (presumably) simpler computational model. سيمانتيك التشغيل، التي يتم فيها التعبير عن معنى النظام في شكل تسلسل للإجراءات لنموذج حسابي (من المفترض أنه) أبسط.
Axiomatic semantics, in which the meaning of the system is expressed in terms of preconditions and postconditions which are true before and after the system performs a task, respectively. سيمانتيك البديهة، التي يتم فيها التعبير عن معنى النظام بالشروط المسبقة والشروط التالية التي يجب أن تتحقق قبل وبعد قيام النظام بتنفيذ مهمة ما، على التوالي.
Proponents of such methods point to the simplicity of their models as a means to expressive clarity; critics counter that the problem of semantics has just been delayed (who defines the semantics of the simpler model?). ويشير أنصار هذه الأساليب إلى بساطة النماذج الخاصة بهم كوسائل للوضوح المعبر، أما المنتقدون فيعارضون ذلك بقولهم إن مشكلة السيمانتيك يتم تأخيرها فقط (فمن الذي يقوم بتعريف سيمانتيك النموذج الأبسط؟).
Proponents of such methods point to the simplicity of their models as a means to expressive clarity; critics counter that the problem of semantics has just been delayed (who defines the semantics of the simpler model?). ويشير أنصار هذه الأساليب إلى بساطة النماذج الخاصة بهم كوسائل للوضوح المعبر، أما المنتقدون فيعارضون ذلك بقولهم إن مشكلة السيمانتيك يتم تأخيرها فقط (فمن الذي يقوم بتعريف سيمانتيك النموذج الأبسط؟).
Symantec explained that its detection was based on the software operating similarly to various Trojan horses, based on the use of proxies to penetrate firewalls used to block web sites, but that it had modified its detection to exclude Freegate. أوضح سيمانتيك أن كشفه تم على أساس البرامج التي تعمل بشكل مشابه لبرامج التجسس المختلفة، بناء علي استخدام الخوادم الوكيلة (بروكسي) المفتوحة لاختراق جدران الحماية المستخدمة لمنع المواقع على شبكة الإنترنت، ولكنها عدلت من طريقة كشفها لاستبعاد المدخل المجاني.
جوال إصدار