2012 IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781467309127, 9780769546643

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automatic Set-Top Box Menu Navigation Scheme for STB Menu Functional Verification

2012 IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems ◽

10.1109/ecbs.2012.17 ◽

2012 ◽

Cited By ~ 1

Author(s):

Vladimir Zlokolica ◽

Nebojsa Milutinovic ◽

Vladimir Marinkovic ◽

Vukota Pekovic ◽

Jan Zloh

Keyword(s):

Functional Verification ◽

Set Top Box ◽

Navigation Scheme

Download Full-text

Division of Road Traffic Network for Distributed Simulation Performed on Heterogeneous Clusters

2012 IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems ◽

10.1109/ecbs.2012.24 ◽

2012 ◽

Cited By ~ 1

Author(s):

Tomas Potuzak

Keyword(s):

Road Traffic ◽

Distributed Simulation ◽

Traffic Network ◽

Heterogeneous Clusters

Download Full-text

Title Page i

2012 IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems ◽

10.1109/ecbs.2012.43 ◽

2012 ◽

Keyword(s):

Title Page

Download Full-text

Modeling and Verifying the Ariadne Protocol Using CSP

2012 IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems ◽

10.1109/ecbs.2012.31 ◽

2012 ◽

Cited By ~ 4

Author(s):

Xi Wu ◽

Si Liu ◽

Huibiao Zhu ◽

Yongxin Zhao ◽

Lei Chen

Download Full-text

Analyzing the Complexity of Domain Model Representations

2012 IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems ◽

10.1109/ecbs.2012.15 ◽

2012 ◽

Cited By ~ 2

Author(s):

Andrea Leitner ◽

Reinhold Weiß ◽

Christian Kreiner

Keyword(s):

Domain Model

Download Full-text

A Way towards Efficiency of SCADA Infrastructure

2012 IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems ◽

10.1109/ecbs.2012.10 ◽

2012 ◽

Cited By ~ 3

Author(s):

Branislav Atlagic ◽

Mihaly Sagi ◽

Dejan Milinkov ◽

Bojan Bogovac ◽

Stanko Culaja

Download Full-text

Using MDE and priority time petri nets for the schedulability analysis of embedded systems modeled by UML activity diagrams

2012 IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems ◽

10.1109/ecbs.2012.6487436 ◽

2012 ◽

Cited By ~ 4

Author(s):

Yessine Kacem ◽

Adel Mahfoudhi ◽

Amina Magdich ◽

Chokri Mraidha ◽

Walid Karamti

Keyword(s):

Embedded Systems ◽

Petri Nets ◽

Schedulability Analysis ◽

Time Petri Nets ◽

Activity Diagrams ◽

Uml Activity Diagrams

Download Full-text

An Architecture-Based Approach to Developing Context-Aware Adaptive Systems

2012 IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems ◽

10.1109/ecbs.2012.13 ◽

2012 ◽

Cited By ~ 3

Author(s):

Mahmoud Hussein ◽

Jun Han ◽

Alan Colman ◽

Jian Yu

Keyword(s):

Adaptive Systems ◽

Context Aware

Download Full-text

Author index

2012 IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems ◽

10.1109/ecbs.2012.1 ◽

2012 ◽

Download Full-text

Route Separation Strategies for Human Movement Datasets

2012 IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems ◽

10.1109/ecbs.2012.35 ◽

2012 ◽

Author(s):

Marcell Feher ◽

Krisztian Fekete ◽

Kristof Csorba ◽

Bertalan Forstner

Keyword(s):

Human Movement

Download Full-text

2012 IEEE 19th International Conference and Workshops on Engineering of Computer-Based SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Automatic Set-Top Box Menu Navigation Scheme for STB Menu Functional Verification

Division of Road Traffic Network for Distributed Simulation Performed on Heterogeneous Clusters

Title Page i

Modeling and Verifying the Ariadne Protocol Using CSP

Analyzing the Complexity of Domain Model Representations

A Way towards Efficiency of SCADA Infrastructure

Using MDE and priority time petri nets for the schedulability analysis of embedded systems modeled by UML activity diagrams

An Architecture-Based Approach to Developing Context-Aware Adaptive Systems

Author index

Route Separation Strategies for Human Movement Datasets

2012 IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems
Latest Publications