Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Przeglądasz jako GOŚĆ

Wyszukujesz frazę ""Tygar, Doug"" wg kryterium: Autor


Tytuł :
Managing Employee Security Behaviour in Organisations: The Role of Cultural Factors and Individual Values
Autorzy :
Connolly, Lena
Lang, Michael
Tygar, Doug
Pokaż więcej
Temat :
Organisational Culture
Individual Values
[INFO]Computer Science [cs]
Information Security Culture
Information Security
National Culture
Employee Behaviour
Źródło :
29th IFIP International Information Security Conference (SEC)
29th IFIP International Information Security Conference (SEC), Jun 2014, Marrakech, Morocco. pp.417-430, ⟨10.1007/978-3-642-55415-5_35⟩
IFIP Advances in Information and Communication Technology
Tytuł :
Advances in Software Engineering Techniques: 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers
Autorzy :
Hutchison, David
Kanade, Takeo
Kittler, Josef
Kleinberg, Jon
Mattern, Friedemann
Mitchell, John
Naor, Moni
Nierstrasz, Oscar
Pandu Rangan, C.
Steffen, Bernhard
Sudan, Madhu
Terzopoulos, Demetri
Tygar, Doug
Vardi, Moshe
Weikum, Gerhard
Szmuc, Tomasz
Szpyrka, Marcin
Zendulka, Jaroslav
Pokaż więcej
Temat :
[INFO]Computer Science [cs]
Źródło :
Springer, LNCS-7054, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-28038-2⟩
Tytuł :
A Low-Bandwidth Camera Sensor Platform with Applications in Smart Camera Networks.
Autorzy :
PHOEBUS CHEN
KIRAK HONG
NAIKAL, NIKHIL
SASTRY, S. SHANKAR
TYGAR, DOUG
POSU YAN
YANG, ALLEN Y.
LUNG-CHUNG CHANG
LEON LIN
SIMON WANG
EDGAR LOBATÓN
SONGHWAI SONGHWAI OH
AHAMMAD, PARVEZ
Pokaż więcej
Temat :
CAMERAS
SENSOR networks
SIGNAL processing
ELECTRIC power consumption
COMPUTER operating systems
COMPUTER software
IEEE 802.11 (Standard)
Źródło :
ACM Transactions on Sensor Networks; Mar2013, Vol. 9 Issue 2, p21-21:23, 23p
Czasopismo naukowe
Tytuł :
An Approach to Formal Verification of Arithmetic Functions in Assembly.
Autorzy :
Hutchison, David
Kanade, Takeo
Kittler, Josef
Kleinberg, Jon M.
Mattern, Friedemann
Mitchell, John C.
Naor, Moni
Nierstrasz, Oscar
Pandu Rangan, C.
Steffen, Bernhard
Sudan, Madhu
Terzopoulos, Demetri
Tygar, Doug
Vardi, Moshe Y.
Weikum, Gerhard
Okada, Mitsu
Satoh, Ichiro
Affeldt, Reynald
Marti, Nicolas
Pokaż więcej
Źródło :
Advances in Computer Science - ASIAN 2006. Secure Software & Related Issues; 2008, p346-360, 15p
Książka
Tytuł :
Formalization of CTL* in Calculus of Inductive Constructions.
Autorzy :
Hutchison, David
Kanade, Takeo
Kittler, Josef
Kleinberg, Jon M.
Mattern, Friedemann
Mitchell, John C.
Naor, Moni
Nierstrasz, Oscar
Pandu Rangan, C.
Steffen, Bernhard
Sudan, Madhu
Terzopoulos, Demetri
Tygar, Doug
Vardi, Moshe Y.
Weikum, Gerhard
Okada, Mitsu
Satoh, Ichiro
Ming-Hsien Tsai
Bow-Yaw Wang
Pokaż więcej
Źródło :
Advances in Computer Science - ASIAN 2006. Secure Software & Related Issues; 2008, p316-330, 15p
Książka
Tytuł :
Proving Noninterference by a Fully Complete Translation to the Simply Typed λ-Calculus.
Autorzy :
Hutchison, David
Kanade, Takeo
Kittler, Josef
Kleinberg, Jon M.
Mattern, Friedemann
Mitchell, John C.
Naor, Moni
Nierstrasz, Oscar
Pandu Rangan, C.
Steffen, Bernhard
Sudan, Madhu
Terzopoulos, Demetri
Tygar, Doug
Vardi, Moshe Y.
Weikum, Gerhard
Okada, Mitsu
Satoh, Ichiro
Shikuma, Naokata
Igarashi, Atsushi
Pokaż więcej
Źródło :
Advances in Computer Science - ASIAN 2006. Secure Software & Related Issues; 2008, p301-315, 15p
Książka
Tytuł :
Combination of Abstractions in the ASTRÉE Static Analyzer.
Autorzy :
Hutchison, David
Kanade, Takeo
Kittler, Josef
Kleinberg, Jon M.
Mattern, Friedemann
Mitchell, John C.
Naor, Moni
Nierstrasz, Oscar
Pandu Rangan, C.
Steffen, Bernhard
Sudan, Madhu
Terzopoulos, Demetri
Tygar, Doug
Vardi, Moshe Y.
Weikum, Gerhard
Okada, Mitsu
Satoh, Ichiro
Cousot, Patrick
Cousot, Radhia
Feret, Jérôme
Pokaż więcej
Źródło :
Advances in Computer Science - ASIAN 2006. Secure Software & Related Issues; 2008, p272-300, 29p
Książka
Tytuł :
An Operational Semantics of Program Dependence Graphs for Unstructured Programs.
Autorzy :
Hutchison, David
Kanade, Takeo
Kittler, Josef
Kleinberg, Jon M.
Mattern, Friedemann
Mitchell, John C.
Naor, Moni
Nierstrasz, Oscar
Pandu Rangan, C.
Steffen, Bernhard
Sudan, Madhu
Terzopoulos, Demetri
Tygar, Doug
Vardi, Moshe Y.
Weikum, Gerhard
Okada, Mitsu
Satoh, Ichiro
Ito, Souhei
Hagihara, Shigeki
Yonezaki, Naoki
Pokaż więcej
Źródło :
Advances in Computer Science - ASIAN 2006. Secure Software & Related Issues; 2008, p264-271, 8p
Książka
Tytuł :
Maintaining Data Consistency of XML Databases Using Verification Techniques.
Autorzy :
Hutchison, David
Kanade, Takeo
Kittler, Josef
Kleinberg, Jon M.
Mattern, Friedemann
Mitchell, John C.
Naor, Moni
Nierstrasz, Oscar
Pandu Rangan, C.
Steffen, Bernhard
Sudan, Madhu
Terzopoulos, Demetri
Tygar, Doug
Vardi, Moshe Y.
Weikum, Gerhard
Okada, Mitsu
Satoh, Ichiro
Islam, Khandoker Asadul
Watanabe, Yoshimichi
Pokaż więcej
Źródło :
Advances in Computer Science - ASIAN 2006. Secure Software & Related Issues; 2008, p256-263, 8p
Książka
Tytuł :
Modeling Urgency in Component-Based Real-Time Systems.
Autorzy :
Hutchison, David
Kanade, Takeo
Kittler, Josef
Kleinberg, Jon M.
Mattern, Friedemann
Mitchell, John C.
Naor, Moni
Nierstrasz, Oscar
Pandu Rangan, C.
Steffen, Bernhard
Sudan, Madhu
Terzopoulos, Demetri
Tygar, Doug
Vardi, Moshe Y.
Weikum, Gerhard
Okada, Mitsu
Satoh, Ichiro
Van Tang, Nguyen
Van Hung, Dang
Ogawa, Mizuhito
Pokaż więcej
Źródło :
Advances in Computer Science - ASIAN 2006. Secure Software & Related Issues; 2008, p248-255, 8p
Książka
Tytuł :
Information Hiding in the Join Calculus.
Autorzy :
Hutchison, David
Kanade, Takeo
Kittler, Josef
Kleinberg, Jon M.
Mattern, Friedemann
Mitchell, John C.
Naor, Moni
Nierstrasz, Oscar
Pandu Rangan, C.
Steffen, Bernhard
Sudan, Madhu
Terzopoulos, Demetri
Tygar, Doug
Vardi, Moshe Y.
Weikum, Gerhard
Okada, Mitsu
Satoh, Ichiro
Ma, Qin
Maranget, Luc
Pokaż więcej
Źródło :
Advances in Computer Science - ASIAN 2006. Secure Software & Related Issues; 2008, p240-247, 8p
Książka
Tytuł :
A Spatial Logical Characterisation of Context Bisimulation.
Autorzy :
Hutchison, David
Kanade, Takeo
Kittler, Josef
Kleinberg, Jon M.
Mattern, Friedemann
Mitchell, John C.
Naor, Moni
Nierstrasz, Oscar
Pandu Rangan, C.
Steffen, Bernhard
Sudan, Madhu
Terzopoulos, Demetri
Tygar, Doug
Vardi, Moshe Y.
Weikum, Gerhard
Okada, Mitsu
Satoh, Ichiro
Cao, Zining
Pokaż więcej
Źródło :
Advances in Computer Science - ASIAN 2006. Secure Software & Related Issues; 2008, p231-239, 9p
Książka
Tytuł :
On Completeness of Logical Relations for Monadic Types.
Autorzy :
Hutchison, David
Kanade, Takeo
Kittler, Josef
Kleinberg, Jon M.
Mattern, Friedemann
Mitchell, John C.
Naor, Moni
Nierstrasz, Oscar
Pandu Rangan, C.
Steffen, Bernhard
Sudan, Madhu
Terzopoulos, Demetri
Tygar, Doug
Vardi, Moshe Y.
Weikum, Gerhard
Okada, Mitsu
Satoh, Ichiro
Lasota, Sławomir
Nowak, David
Zhang, Yu
Pokaż więcej
Źródło :
Advances in Computer Science - ASIAN 2006. Secure Software & Related Issues; 2008, p223-230, 8p
Książka
Tytuł :
A Type-Theoretic Framework for Formal Reasoning with Different Logical Foundations.
Autorzy :
Hutchison, David
Kanade, Takeo
Kittler, Josef
Kleinberg, Jon M.
Mattern, Friedemann
Mitchell, John C.
Naor, Moni
Nierstrasz, Oscar
Pandu Rangan, C.
Steffen, Bernhard
Sudan, Madhu
Terzopoulos, Demetri
Tygar, Doug
Vardi, Moshe Y.
Weikum, Gerhard
Okada, Mitsu
Satoh, Ichiro
Luo, Zhaohui
Pokaż więcej
Źródło :
Advances in Computer Science - ASIAN 2006. Secure Software & Related Issues; 2008, p214-222, 9p
Książka

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies