2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES)

Thing-Oriented Learning: Application to Mathematical Objects

2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES) ◽

10.1109/cse-euc-dcabes.2016.225 ◽

2016 ◽

Cited By ~ 2

Author(s):

Sabah Al-Fedaghi

Keyword(s):

Mathematical Objects

Download Full-text

Formal Verification of Robotics Navigation Algorithms

2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES) ◽

10.1109/cse-euc-dcabes.2016.181 ◽

2016 ◽

Author(s):

Vasileios Germanos ◽

Emanuele Lindo Secco

Keyword(s):

Formal Verification ◽

Navigation Algorithms

Download Full-text

Practical Formal Verification for Model Based Development of Cyber-Physical Systems

2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES) ◽

10.1109/cse-euc-dcabes.2016.154 ◽

2016 ◽

Cited By ~ 1

Author(s):

Tasuku Ishigooka ◽

Habib Saissi ◽

Thorsten Piper ◽

Stefan Winter ◽

Neeraj Suri

Keyword(s):

Formal Verification ◽

Cyber Physical Systems ◽

Physical Systems ◽

Model Based

Download Full-text

A Proposition of Data Organization and Exchanges to Collaborate in an Autonomous Agent Context

2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES) ◽

10.1109/cse-euc-dcabes.2016.242 ◽

2016 ◽

Author(s):

Laurent Lucien ◽

Christophe Lang ◽

Nicolas Marilleau ◽

Laurent Philippe

Keyword(s):

Autonomous Agent ◽

Data Organization

Download Full-text

Resource-Centered Distributed Processing of Large Histopathology Images

2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES) ◽

10.1109/cse-euc-dcabes.2016.210 ◽

2016 ◽

Author(s):

Daniel Salas ◽

Jens Gustedt ◽

Daniel Racoceanu ◽

Isabelle Perseil

Keyword(s):

Distributed Processing ◽

Histopathology Images

Download Full-text

Summary of Topological Study of Chaotic CBC Mode of Operation

2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES) ◽

10.1109/cse-euc-dcabes.2016.220 ◽

2016 ◽

Author(s):

Abdessalem Abidi ◽

Samar Tawbi ◽

Christophe Guyeux ◽

Belgacem Bouallegue ◽

Mohsen Machhout

Keyword(s):

Mode Of Operation

Download Full-text

A Software Licenses Aware Job Scheduling and Management Approach on Multi-clusters

2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES) ◽

10.1109/cse-euc-dcabes.2016.265 ◽

2016 ◽

Author(s):

Zhengxiong Hou ◽

Jianhua Gu ◽

Xingshe Zhou ◽

Tianhai Zhao

Keyword(s):

Job Scheduling ◽

Management Approach ◽

Software Licenses

Download Full-text

An Android Systrace Extension for Tracing Wakelocks

2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES) ◽

10.1109/cse-euc-dcabes.2016.175 ◽

2016 ◽

Cited By ~ 1

Author(s):

Bui Duc Binh ◽

Kimura Keiji

Download Full-text

Chattering-Free Simulation for Hybrid Dynamical Systems Semantics and Prototype Implementation

2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES) ◽

10.1109/cse-euc-dcabes.2016.217 ◽

2016 ◽

Cited By ~ 5

Author(s):

Ayman Aljarbouh ◽

Yingfu Zeng ◽

Adam Duracz ◽

Benoit Caillaud ◽

Walid Taha

Keyword(s):

Dynamical Systems ◽

Hybrid Dynamical Systems ◽

Prototype Implementation ◽

Chattering Free

Download Full-text

An Algorithm for Detection of Chiastic Structures in Text Databases

2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES) ◽

10.1109/cse-euc-dcabes.2016.195 ◽

2016 ◽

Author(s):

SeungJin Lim

Keyword(s):

Text Databases

Download Full-text

2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES)
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Thing-Oriented Learning: Application to Mathematical Objects

Formal Verification of Robotics Navigation Algorithms

Practical Formal Verification for Model Based Development of Cyber-Physical Systems

A Proposition of Data Organization and Exchanges to Collaborate in an Autonomous Agent Context

Resource-Centered Distributed Processing of Large Histopathology Images

Summary of Topological Study of Chaotic CBC Mode of Operation

A Software Licenses Aware Job Scheduling and Management Approach on Multi-clusters

An Android Systrace Extension for Tracing Wakelocks

Chattering-Free Simulation for Hybrid Dynamical Systems Semantics and Prototype Implementation

An Algorithm for Detection of Chiastic Structures in Text Databases

Export Citation Format

2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Thing-Oriented Learning: Application to Mathematical Objects

Formal Verification of Robotics Navigation Algorithms

Practical Formal Verification for Model Based Development of Cyber-Physical Systems

A Proposition of Data Organization and Exchanges to Collaborate in an Autonomous Agent Context

Resource-Centered Distributed Processing of Large Histopathology Images

Summary of Topological Study of Chaotic CBC Mode of Operation

A Software Licenses Aware Job Scheduling and Management Approach on Multi-clusters

An Android Systrace Extension for Tracing Wakelocks

Chattering-Free Simulation for Hybrid Dynamical Systems Semantics and Prototype Implementation

An Algorithm for Detection of Chiastic Structures in Text Databases

2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES)
Latest Publications