Sciweavers

6308 search results - page 34 / 1262

» Modeling Urgency in Timed Systems

67

EPEW
2010
Springer

165views Internet Technology» more EPEW 2010»

A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking

14 years 10 months ago

A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking

Download www.fi.muni.cz

Lasse Jacobsen, Morten Jacobsen, Mikael H. M&oslas...

claim paper

Read More »

78

JISE
2008

162views more JISE 2008»

Modeling and Analysis of Urban Traffic Lights Control Systems Using Timed CP-nets

14 years 9 months ago

Modeling and Analysis of Urban Traffic Lights Control Systems Using Timed CP-nets

Download www.iis.sinica.edu.tw

Yi-Sheng Huang, Ta-Hsiang Chung

claim paper

Read More »

65

ESWA
2010

99views more ESWA 2010»

Grey system theory-based models in time series prediction

14 years 8 months ago

Grey system theory-based models in time series prediction

Download mecha.ee.boun.edu.tr

Erdal Kayacan, Baris Ulutas, Okyay Kaynak

claim paper

Read More »

56

IPPS
2010
IEEE

113views Distributed And Parallel Com...» more IPPS 2010»

Modeling and analysis of real -time systems with mutex components

14 years 7 months ago

Modeling and analysis of real -time systems with mutex components

Download www.ipdps.org

Guoqiang Li, Xiaojuan Cai, Shoji Yuen

claim paper

Read More »

72

CIMCA
2006
IEEE

136views Intelligent Agents» more CIMCA 2006»

Timed-MPSG: A Formal Model for Real-Time Shop Floor Controller

15 years 3 months ago

Timed-MPSG: A Formal Model for Real-Time Shop Floor Controller

Download interact.hanyang.ac.kr

The MPSG (Message-based Part State Graph) model has been developed for the execution portion of shop-floor controllers that operate in a distributed and hierarchical control envir...

Devinder Thapa, Jaeil Park, Gi-Nam Wang, Dongmin S...

claim paper

Read More »

« Prev « First page 34 / 1262 Last » Next »