profil-zyak-2012
audio

Editeur

profil-zyak-2012

Publications

IEEE TRANSACTIONS ON INFORMATION THEORY VOL XX NO X XXX
Category

Documents

IEEE TRANSACTIONS ON INFORMATION THEORY VOL XX NO X XXX

Frank Nielsen

IEEE TRANSACTIONS ON INFORMATION THEORY VOL XX NO X XXX Alternate Text
Category

Documents

Rapports de stage

IEEE TRANSACTIONS ON INFORMATION THEORY VOL XX NO X XXX

Frank Nielsen

Book

23 pages

Flag

English

Monitoring and Supervisory Control for Opacity
Category

Documents

Monitoring and Supervisory Control for Opacity

Roland Groz

Monitoring and Supervisory Control for Opacity Alternate Text
Category

Documents

Rapports de stage

Monitoring and Supervisory Control for Opacity

Roland Groz

Book

161 pages

Flag

Français

A Framework for Analyzing Probabilistic Protocols and its Application to the Partial
Category

Documents

A Framework for Analyzing Probabilistic Protocols and its Application to the Partial

Intend2

A Framework for Analyzing Probabilistic Protocols and its Application to the Partial Alternate Text
Category

Documents

Rapports de stage

A Framework for Analyzing Probabilistic Protocols and its Application to the Partial

Intend2

Book

6 pages

Flag

English

Spatial Information Distribution in Constraint based Process Calculi Extended Version
Category

Documents

Spatial Information Distribution in Constraint based Process Calculi Extended Version

Sophia Knight1

Spatial Information Distribution in Constraint based Process Calculi Extended Version Alternate Text
Category

Documents

Rapports de stage

Spatial Information Distribution in Constraint based Process Calculi Extended Version

Sophia Knight1

Book

25 pages

Flag

English

LIX Ecole PolytechniqueGeometrica INRIA Sophia
Category

Documents

LIX Ecole PolytechniqueGeometrica INRIA Sophia

Luca Castelli

LIX Ecole PolytechniqueGeometrica INRIA Sophia Alternate Text
Category

Documents

Rapports de stage

LIX Ecole PolytechniqueGeometrica INRIA Sophia

Luca Castelli

Book

66 pages

Flag

October Version for the second edition of “Logica Universalis”
Category

Documents

October Version for the second edition of “Logica Universalis”

Lutz Strassburger

October Version for the second edition of “Logica Universalis” Alternate Text
Category

Documents

Rapports de stage

October Version for the second edition of “Logica Universalis”

Lutz Strassburger

Book

18 pages

Flag

English

Compositional Methods for Information Hiding
Category

Documents

Compositional Methods for Information Hiding

Christelle Braun

Compositional Methods for Information Hiding Alternate Text
Category

Documents

Rapports de stage

Compositional Methods for Information Hiding

Christelle Braun

Book

6 pages

Flag

English

From Deep Inference to Proof Nets via Cut Elimination
Category

Documents

From Deep Inference to Proof Nets via Cut Elimination

Lutz Strassburger

From Deep Inference to Proof Nets via Cut Elimination Alternate Text
Category

Documents

Rapports de stage

From Deep Inference to Proof Nets via Cut Elimination

Lutz Strassburger

Book

41 pages

Flag

English

IP Smart Object networks also referred to as LLN Low power and Lossy Networks have unique characteristics and requirements Indeed by contrast with “typical” IP networks where powerful routers are interconnected by highly stable links LLNs are usually interconnected by low power low bandwidth links offering between a few Kbits s and a few hundreds of Kbits s In addition to providing limited bandwidth such links especially wireless are usually extremely unstable with high BER Bit Error Rate It is not unusual to see the PDR Packet Delivery Rate oscillating between and with large bursts of unpredictable errors and even loss of connectivity for some period of time Note that such behavior can be observed both for RF links such as IEEE and PLC links that exhibit similar behaviors Another characteristic of IP smart objects is that node failures for example due to energy depletion are significantly more frequent than in traditional IP networks where nodes are main powered highly redundant multi processors supporting non stop forwarding Another key characteristic is that LLNs do need to scale Some LLNs can be made of dozens and even hundreds of thousands of nodes This explains why specifying protocols for very large scale constrained and unstable environments bring its own sets of challenges For the sake of illustration other topics are discussed later one of the golden rules was to under react to failure by contrast with routing protocols such as OSPF or ISIS where the network needs to re converge within a few dozens of milliseconds This required a real paradigm shift since over reaction would lead to network collapse very rapidly Furthermore control plane overhead had to be minimized while supporting dynamic link node metrics MTR and so forth With these physical constraints and requirements this paper provides a rough first draft at describing the challenges in securing both LLNs and IP smart objects
Category

Documents

IP Smart Object networks also referred to as LLN Low power and Lossy Networks have unique characteristics and requirements Indeed by contrast with “typical” IP networks where powerful routers are interconnected by highly stable links LLNs are usually interconnected by low power low bandwidth links offering between a few Kbits s and a few hundreds of Kbits s In addition to providing limited bandwidth such links especially wireless are usually extremely unstable with high BER Bit Error Rate It is not unusual to see the PDR Packet Delivery Rate oscillating between and with large bursts of unpredictable errors and even loss of connectivity for some period of time Note that such behavior can be observed both for RF links such as IEEE and PLC links that exhibit similar behaviors Another characteristic of IP smart objects is that node failures for example due to energy depletion are significantly more frequent than in traditional IP networks where nodes are main powered highly redundant multi processors supporting non stop forwarding Another key characteristic is that LLNs do need to scale Some LLNs can be made of dozens and even hundreds of thousands of nodes This explains why specifying protocols for very large scale constrained and unstable environments bring its own sets of challenges For the sake of illustration other topics are discussed later one of the golden rules was to under react to failure by contrast with routing protocols such as OSPF or ISIS where the network needs to re converge within a few dozens of milliseconds This required a real paradigm shift since over reaction would lead to network collapse very rapidly Furthermore control plane overhead had to be minimized while supporting dynamic link node metrics MTR and so forth With these physical constraints and requirements this paper provides a rough first draft at describing the challenges in securing both LLNs and IP smart objects

Monique Jeanne Morrow

IP Smart Object networks also referred to as LLN Low power and Lossy Networks have unique characteristics and requirements Indeed by contrast with “typical” IP networks where powerful routers are interconnected by highly stable links LLNs are usually interconnected by low power low bandwidth links offering between a few Kbits s and a few hundreds of Kbits s In addition to providing limited bandwidth such links especially wireless are usually extremely unstable with high BER Bit Error Rate It is not unusual to see the PDR Packet Delivery Rate oscillating between and with large bursts of unpredictable errors and even loss of connectivity for some period of time Note that such behavior can be observed both for RF links such as IEEE and PLC links that exhibit similar behaviors Another characteristic of IP smart objects is that node failures for example due to energy depletion are significantly more frequent than in traditional IP networks where nodes are main powered highly redundant multi processors supporting non stop forwarding Another key characteristic is that LLNs do need to scale Some LLNs can be made of dozens and even hundreds of thousands of nodes This explains why specifying protocols for very large scale constrained and unstable environments bring its own sets of challenges For the sake of illustration other topics are discussed later one of the golden rules was to under react to failure by contrast with routing protocols such as OSPF or ISIS where the network needs to re converge within a few dozens of milliseconds This required a real paradigm shift since over reaction would lead to network collapse very rapidly Furthermore control plane overhead had to be minimized while supporting dynamic link node metrics MTR and so forth With these physical constraints and requirements this paper provides a rough first draft at describing the challenges in securing both LLNs and IP smart objects Alternate Text
Category

Documents

Rapports de stage

IP Smart Object networks also referred to as LLN Low power and Lossy Networks have unique characteristics and requirements Indeed by contrast with “typical” IP networks where powerful routers are interconnected by highly stable links LLNs are usually interconnected by low power low bandwidth links offering between a few Kbits s and a few hundreds of Kbits s In addition to providing limited bandwidth such links especially wireless are usually extremely unstable with high BER Bit Error Rate It is not unusual to see the PDR Packet Delivery Rate oscillating between and with large bursts of unpredictable errors and even loss of connectivity for some period of time Note that such behavior can be observed both for RF links such as IEEE and PLC links that exhibit similar behaviors Another characteristic of IP smart objects is that node failures for example due to energy depletion are significantly more frequent than in traditional IP networks where nodes are main powered highly redundant multi processors supporting non stop forwarding Another key characteristic is that LLNs do need to scale Some LLNs can be made of dozens and even hundreds of thousands of nodes This explains why specifying protocols for very large scale constrained and unstable environments bring its own sets of challenges For the sake of illustration other topics are discussed later one of the golden rules was to under react to failure by contrast with routing protocols such as OSPF or ISIS where the network needs to re converge within a few dozens of milliseconds This required a real paradigm shift since over reaction would lead to network collapse very rapidly Furthermore control plane overhead had to be minimized while supporting dynamic link node metrics MTR and so forth With these physical constraints and requirements this paper provides a rough first draft at describing the challenges in securing both LLNs and IP smart objects

Monique Jeanne Morrow

Book

4 pages

Flag

English

June Final version for the proceedings of CSL 09
Category

Documents

June Final version for the proceedings of CSL'09

June Final version for the proceedings of CSL 09 Alternate Text
Category

Documents

Rapports de stage

June Final version for the proceedings of CSL'09

Book

15 pages

Flag

English

January Final version appearing in proceedings of TLCA 05
Category

Documents

January Final version appearing in proceedings of TLCA'05

Lutz Strassburger

January Final version appearing in proceedings of TLCA 05 Alternate Text
Category

Documents

Rapports de stage

January Final version appearing in proceedings of TLCA'05

Lutz Strassburger

Book

15 pages

Flag

English

Workshop on “Classical Logic and Computation” July Venice Italy
Category

Documents

Workshop on “Classical Logic and Computation” July Venice Italy

Lutz Strassburger

Workshop on “Classical Logic and Computation” July Venice Italy Alternate Text
Category

Documents

Rapports de stage

Workshop on “Classical Logic and Computation” July Venice Italy

Lutz Strassburger

Book

20 pages

Flag

English

PANA applicability in constrained environments
Category

Documents

PANA applicability in constrained environments

Mitsuru Kanda

PANA applicability in constrained environments Alternate Text
Category

Documents

Rapports de stage

PANA applicability in constrained environments

Mitsuru Kanda

Book

8 pages

Flag

English

AAA based Infrastructure for Industrial Wireless Sensor Networks Authors: Thomas Bartzsch University of Applied Sciences Dresden dresden de Dirk Burggraf University of Applied Sciences Dresden dresden de Laura Cristina Gheorghe University Politehnica of Bucharest laura pub ro Alexis Olivereau Commissariat l Energie Atomique France alexis fr Nouha Oualha Commissariat l Energie Atomique France nouha fr Emil Slusanschi University Politehnica of Bucharest emil pub ro Dan Tudose University Politehnica of Bucharest dan pub ro Markus Wehner University of Applied Sciences Dresden dresden de Sven Zeisberg University of Applied Sciences Dresden dresden de
Category

Documents

AAA based Infrastructure for Industrial Wireless Sensor Networks Authors: Thomas Bartzsch University of Applied Sciences Dresden dresden de Dirk Burggraf University of Applied Sciences Dresden dresden de Laura Cristina Gheorghe University Politehnica of Bucharest laura pub ro Alexis Olivereau Commissariat l'Energie Atomique France alexis fr Nouha Oualha Commissariat l'Energie Atomique France nouha fr Emil Slusanschi University Politehnica of Bucharest emil pub ro Dan Tudose University Politehnica of Bucharest dan pub ro Markus Wehner University of Applied Sciences Dresden dresden de Sven Zeisberg University of Applied Sciences Dresden dresden de

Thomas Bartzsch

AAA based Infrastructure for Industrial Wireless Sensor Networks Authors: Thomas Bartzsch University of Applied Sciences Dresden dresden de Dirk Burggraf University of Applied Sciences Dresden dresden de Laura Cristina Gheorghe University Politehnica of Bucharest laura pub ro Alexis Olivereau Commissariat l Energie Atomique France alexis fr Nouha Oualha Commissariat l Energie Atomique France nouha fr Emil Slusanschi University Politehnica of Bucharest emil pub ro Dan Tudose University Politehnica of Bucharest dan pub ro Markus Wehner University of Applied Sciences Dresden dresden de Sven Zeisberg University of Applied Sciences Dresden dresden de Alternate Text
Category

Documents

Rapports de stage

AAA based Infrastructure for Industrial Wireless Sensor Networks Authors: Thomas Bartzsch University of Applied Sciences Dresden dresden de Dirk Burggraf University of Applied Sciences Dresden dresden de Laura Cristina Gheorghe University Politehnica of Bucharest laura pub ro Alexis Olivereau Commissariat l'Energie Atomique France alexis fr Nouha Oualha Commissariat l'Energie Atomique France nouha fr Emil Slusanschi University Politehnica of Bucharest emil pub ro Dan Tudose University Politehnica of Bucharest dan pub ro Markus Wehner University of Applied Sciences Dresden dresden de Sven Zeisberg University of Applied Sciences Dresden dresden de

Thomas Bartzsch

Book

3 pages

Flag

English

Convergence of Smart Objects in industrial wireless sensor network Smart Object Security Workshop Kazunori Miyazawa Yokogawa Electric Corporation Kazunori yokogawa com Introduction Process Automation Control System PACS requires high reliability because it processes hazerdous materials which are often explosive and toxic PACS has been mainly using 20mA analog communication overlaying on power supply because of its high reliablity This analog communication needs one line to transmit to single value and it is uni directional Brand new PACS introduces field bus network for communication between control systems and sensors It is bi directional digital communication and achieves to share a communication line with some devices So far PACS mainly uses wired communication but demand for wireless communication increases due to the cost merit The purpose of wireless communication is mainly monitoring at this moment Some users expect to extends it to more critical purpose such asI Os of control loops Control cycle depends on target processes or materials and every PACS needs realtimeness The control cycle is Hz in general and sometimes more faster Hz As mentioned above PACS processes hazardous materials which are sometimes explosive Hence field devices such as sensors and actuators must be intrinsically safe and low power consumption capacitance and inductance are seriously restricted Network for PACS usually equips redundancy due to the high reliability requirements Huge plant has tens of thousands of I O points and over a ten thousands field devices So that field devices and their engineering are cost sensitive If once a plant starting up and becoming production phase after construction the equipments are hardly changed and they are used years or years long The system is very static and it has long life cycle Construction and engineering of PACS are executed in parallel to shorten the time to build a plant In a user site the construction is carried out according to physical design The devices are directly delivered ...
Category

Documents

Convergence of Smart Objects in industrial wireless sensor network Smart Object Security Workshop Kazunori Miyazawa Yokogawa Electric Corporation Kazunori yokogawa com Introduction Process Automation Control System PACS requires high reliability because it processes hazerdous materials which are often explosive and toxic PACS has been mainly using 20mA analog communication overlaying on power supply because of its high reliablity This analog communication needs one line to transmit to single value and it is uni directional Brand new PACS introduces field bus network for communication between control systems and sensors It is bi directional digital communication and achieves to share a communication line with some devices So far PACS mainly uses wired communication but demand for wireless communication increases due to the cost merit The purpose of wireless communication is mainly monitoring at this moment Some users expect to extends it to more critical purpose such asI Os of control loops Control cycle depends on target processes or materials and every PACS needs realtimeness The control cycle is Hz in general and sometimes more faster Hz As mentioned above PACS processes hazardous materials which are sometimes explosive Hence field devices such as sensors and actuators must be intrinsically safe and low power consumption capacitance and inductance are seriously restricted Network for PACS usually equips redundancy due to the high reliability requirements Huge plant has tens of thousands of I O points and over a ten thousands field devices So that field devices and their engineering are cost sensitive If once a plant starting up and becoming production phase after construction the equipments are hardly changed and they are used years or years long The system is very static and it has long life cycle Construction and engineering of PACS are executed in parallel to shorten the time to build a plant In a user site the construction is carried out according to physical design The devices are directly delivered ...

Kazunori Miyazawa

Convergence of Smart Objects in industrial wireless sensor network Smart Object Security Workshop Kazunori Miyazawa Yokogawa Electric Corporation Kazunori yokogawa com Introduction Process Automation Control System PACS requires high reliability because it processes hazerdous materials which are often explosive and toxic PACS has been mainly using 20mA analog communication overlaying on power supply because of its high reliablity This analog communication needs one line to transmit to single value and it is uni directional Brand new PACS introduces field bus network for communication between control systems and sensors It is bi directional digital communication and achieves to share a communication line with some devices So far PACS mainly uses wired communication but demand for wireless communication increases due to the cost merit The purpose of wireless communication is mainly monitoring at this moment Some users expect to extends it to more critical purpose such asI Os of control loops Control cycle depends on target processes or materials and every PACS needs realtimeness The control cycle is Hz in general and sometimes more faster Hz As mentioned above PACS processes hazardous materials which are sometimes explosive Hence field devices such as sensors and actuators must be intrinsically safe and low power consumption capacitance and inductance are seriously restricted Network for PACS usually equips redundancy due to the high reliability requirements Huge plant has tens of thousands of I O points and over a ten thousands field devices So that field devices and their engineering are cost sensitive If once a plant starting up and becoming production phase after construction the equipments are hardly changed and they are used years or years long The system is very static and it has long life cycle Construction and engineering of PACS are executed in parallel to shorten the time to build a plant In a user site the construction is carried out according to physical design The devices are directly delivered ... Alternate Text
Category

Documents

Rapports de stage

Convergence of Smart Objects in industrial wireless sensor network Smart Object Security Workshop Kazunori Miyazawa Yokogawa Electric Corporation Kazunori yokogawa com Introduction Process Automation Control System PACS requires high reliability because it processes hazerdous materials which are often explosive and toxic PACS has been mainly using 20mA analog communication overlaying on power supply because of its high reliablity This analog communication needs one line to transmit to single value and it is uni directional Brand new PACS introduces field bus network for communication between control systems and sensors It is bi directional digital communication and achieves to share a communication line with some devices So far PACS mainly uses wired communication but demand for wireless communication increases due to the cost merit The purpose of wireless communication is mainly monitoring at this moment Some users expect to extends it to more critical purpose such asI Os of control loops Control cycle depends on target processes or materials and every PACS needs realtimeness The control cycle is Hz in general and sometimes more faster Hz As mentioned above PACS processes hazardous materials which are sometimes explosive Hence field devices such as sensors and actuators must be intrinsically safe and low power consumption capacitance and inductance are seriously restricted Network for PACS usually equips redundancy due to the high reliability requirements Huge plant has tens of thousands of I O points and over a ten thousands field devices So that field devices and their engineering are cost sensitive If once a plant starting up and becoming production phase after construction the equipments are hardly changed and they are used years or years long The system is very static and it has long life cycle Construction and engineering of PACS are executed in parallel to shorten the time to build a plant In a user site the construction is carried out according to physical design The devices are directly delivered ...

Kazunori Miyazawa

Book

4 pages

Flag

English

Noname manuscript No will be inserted by the editor
Category

Documents

Noname manuscript No will be inserted by the editor

Andrew Gacek

Noname manuscript No will be inserted by the editor Alternate Text
Category

Documents

Rapports de stage

Noname manuscript No will be inserted by the editor

Andrew Gacek

Book

23 pages

Flag

English

Abstract Syntax and Logic Programming September
Category

Documents

Abstract Syntax and Logic Programming September

Second Russian

Abstract Syntax and Logic Programming September Alternate Text
Category

Documents

Rapports de stage

Abstract Syntax and Logic Programming September

Second Russian

Book

16 pages

Flag

English

Noname manuscript No will be inserted by the editor
Category

Documents

Noname manuscript No will be inserted by the editor

Noname manuscript No will be inserted by the editor Alternate Text
Category

Documents

Rapports de stage

Noname manuscript No will be inserted by the editor

Book

31 pages

Flag

English

TLS with PSK for Constrained Devices
Category

Documents

TLS with PSK for Constrained Devices

Vladislav Perelman

TLS with PSK for Constrained Devices Alternate Text
Category

Documents

Rapports de stage

TLS with PSK for Constrained Devices

Vladislav Perelman

Book

4 pages

Flag

English

A META LANGUAGE FOR TYPE CHECKING AND INFERENCE
Category

Documents

A META LANGUAGE FOR TYPE CHECKING AND INFERENCE

Amy Felty

A META LANGUAGE FOR TYPE CHECKING AND INFERENCE Alternate Text
Category

Documents

Rapports de stage

A META LANGUAGE FOR TYPE CHECKING AND INFERENCE

Amy Felty

Book

14 pages

Flag

English

A Proposal for Modules in Prolog
Category

Documents

A Proposal for Modules in Prolog

A Proposal for Modules in Prolog Alternate Text
Category

Documents

Rapports de stage

A Proposal for Modules in Prolog

Book

17 pages

Flag

English

Least and greatest fixed points in linear logic
Category

Documents

Least and greatest fixed points in linear logic

David Baelde

Least and greatest fixed points in linear logic Alternate Text
Category

Documents

Rapports de stage

Least and greatest fixed points in linear logic

David Baelde

Book

15 pages

Flag

English

Andrew Gacek a Dale Millerb Gopalan Nadathura
Category

Documents

Andrew Gacek a Dale Millerb Gopalan Nadathura

Andrew Gacek

Andrew Gacek a Dale Millerb Gopalan Nadathura Alternate Text
Category

Documents

Rapports de stage

Andrew Gacek a Dale Millerb Gopalan Nadathura

Andrew Gacek

Book

44 pages

Flag

English

Communicating and trusting proofs: The case for broad spectrum proof certificates
Category

Documents

Communicating and trusting proofs: The case for broad spectrum proof certificates

Communicating and trusting proofs: The case for broad spectrum proof certificates Alternate Text
Category

Documents

Rapports de stage

Communicating and trusting proofs: The case for broad spectrum proof certificates

Book

16 pages

Flag

English

Kripke Semantics and Proof Systems for Combining Intuitionistic Logic and Classical Logic
Category

Documents

Kripke Semantics and Proof Systems for Combining Intuitionistic Logic and Classical Logic

Kripke Semantics and Proof Systems for Combining Intuitionistic Logic and Classical Logic Alternate Text
Category

Documents

Rapports de stage

Kripke Semantics and Proof Systems for Combining Intuitionistic Logic and Classical Logic

Book

32 pages

Flag

English

Abstract syntax for variable binders: An overview
Category

Documents

Abstract syntax for variable binders: An overview

Abstract syntax for variable binders: An overview Alternate Text
Category

Documents

Rapports de stage

Abstract syntax for variable binders: An overview

Book

15 pages

Flag

English

Least and greatest xed points in linear logic Extended Version
Category

Documents

Least and greatest xed points in linear logic Extended Version

David Baelde

Least and greatest xed points in linear logic Extended Version Alternate Text
Category

Documents

Rapports de stage

Least and greatest xed points in linear logic Extended Version

David Baelde

Book

22 pages

Flag

English

A Multiple Conclusion Meta Logic
Category

Documents

A Multiple Conclusion Meta Logic

A Multiple Conclusion Meta Logic Alternate Text
Category

Documents

Rapports de stage

A Multiple Conclusion Meta Logic

Book

10 pages

Flag

English

Focusing in linear meta logic
Category

Documents

Focusing in linear meta logic

Focusing in linear meta logic Alternate Text
Category

Documents

Rapports de stage

Focusing in linear meta logic

Book

16 pages

Flag

English

HIGHER ORDER HORN CLAUSES
Category

Documents

HIGHER ORDER HORN CLAUSES

Duke University

HIGHER ORDER HORN CLAUSES Alternate Text
Category

Documents

Rapports de stage

HIGHER ORDER HORN CLAUSES

Duke University

Book

47 pages

Flag

English

Alternate Text