Search

Your search keyword '"Li, Xiaoshan"' showing total 34 results
Start Over Author "Li, Xiaoshan" Publisher springer berlin heidelberg
34 results on '"Li, Xiaoshan"'

5. An Interactive Construction Method of 3D Objects from Chinese Ink Paintings

Author

Yang, Lijie, Xu, Tianchen, Li, Xiaoshan, Pan, Zhigeng, Editor-in-chief, Cheok, Adrian David, Editor-in-chief, Mueller, Wolfgang, Editor-in-chief, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Zhang, Mingmin, editor

Published
2015
Full Text
View/download PDF

10. Interactive Transformations from Object-Oriented Models to Component-Based Models

Author

Li, Dan, Li, Xiaoshan, Liu, Zhiming, Stolz, Volker, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Arbab, Farhad, editor, and Ölveczky, Peter Csaba, editor

Published
2012
Full Text
View/download PDF

11. AutoPA: Automatic Prototyping from Requirements

Author

Li, Xiaoshan, Liu, Zhiming, Schäf, Martin, Yin, Ling, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, and Margaria, Tiziana, editor

Published
2010
Full Text
View/download PDF

12. Modelling with Relational Calculus of Object and Component Systems - rCOS

Author

Chen, Zhenbang, Hannousse, Abdel Hakim, Van Hung, Dang, Knoll, Istvan, Li, Xiaoshan, Liu, Zhiming, Liu, Yang, Nan, Qu, Okika, Joseph C., Ravn, Anders P., Stolz, Volker, Yang, Lu, Zhan, Naijun, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Rausch, Andreas, editor, Reussner, Ralf, editor, Mirandola, Raffaela, editor, and Plášil, František, editor

Published
2008
Full Text
View/download PDF

13. Harnessing rCOS for Tool Support —The CoCoME Experience

Author

Chen, Zhenbang, Li, Xiaoshan, Liu, Zhiming, Stolz, Volker, Yang, Lu, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Jones, Cliff B., editor, Liu, Zhiming, editor, and Woodcock, Jim, editor

Published
2007
Full Text
View/download PDF

14. Component-Based Software Engineering : The Need to Link Methods and Their Theories

Author

Jifeng, He, Li, Xiaoshan, Liu, Zhiming, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Van Hung, Dang, editor, and Wirsing, Martin, editor

Published
2005
Full Text
View/download PDF

15. rCOS: Refinement of Component and Object Systems

Author

Liu, Zhiming, Jifeng, He, Li, Xiaoshan, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, de Boer, Frank S., editor, Bonsangue, Marcello M., editor, Graf, Susanne, editor, and de Roever, Willem-Paul, editor

Published
2005
Full Text
View/download PDF

16. A Predicative Semantic Model for Integrating UML Models

Author

Yang, Jing, Long, Quan, Liu, Zhiming, Li, Xiaoshan, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Liu, Zhiming, editor, and Araki, Keijiro, editor

Published
2005
Full Text
View/download PDF

17. Generating a Prototype from a UML Model of System Requirements

Author

Li, Xiaoshan, Liu, Zhiming, He, Jifeng, Long, Quan, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ghosh, R. K., editor, and Mohanty, Hrushikesha, editor

Published
2005
Full Text
View/download PDF

18. A Relational Model for Object-Oriented Designs

Author

Jifeng, He, Liu, Zhiming, Li, Xiaoshan, Qin, Shengchao, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, and Chin, Wei-Ngan, editor

Published
2004
Full Text
View/download PDF

25. Modelling with Relational Calculus of Object and Component Systems - rCOS

Author

Chen, Zhenbang, primary, Hannousse, Abdel Hakim, additional, Van Hung, Dang, additional, Knoll, Istvan, additional, Li, Xiaoshan, additional, Liu, Zhiming, additional, Liu, Yang, additional, Nan, Qu, additional, Okika, Joseph C., additional, Ravn, Anders P., additional, Stolz, Volker, additional, Yang, Lu, additional, and Zhan, Naijun, additional

Published
2008
Full Text
View/download PDF

34. Linear duration invariants

Author

Zhou Chaochen, Zhang Jingzhong, Yang Lu, and Li Xiaoshan

Subjects
Set (abstract data type), Algebra, Linear inequality, Linear programming, Computer science, Simple (abstract algebra), Duration calculus, Real-time computing, Regular expression, State (functional analysis), Boolean function
Abstract

This paper is to present an algorithm to decide whether a real-time system satisfies a set of invariants which are constructed from linear inequalities of integrated durations of system states. Real-time systems in the paper are taken to be real-time automata which set up for each of state transitions a lower time bound and an upper time bound. The satisfaction problem can be translated into a family of linear programming problems. The algorithm is, according to the invariants, to reduce the infinite family of linear programming problems to an equivalent one with only finite members, and then to solve each of linear programming problems efficiently. The algorithm is so simple that no prerequisite of linear programming theory is assumed.

Published
1994

Catalog

Books, media, physical & digital resources
See catalog results