Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 19.

Article

Bordbar, Behzad and Derrick, John and Waters, A. Gill (2002) Using UML to specify QoS constraints in ODP. Computer Networks, 40 (2). pp. 279-304. ISSN 1389-1286 . (The full text of this publication is not available from this repository)

Bordbar, Behzad and Pym, J.S. (2000) The Set of Idempotents in the Weakly Almost Periodic Compactification of the Integers is not Closed. Transactions of the American Mathematical Society, 352 (2). pp. 823-842. ISSN 0002-9947. (Full text available)
[img]
Preview

Bordbar, Behzad and Pym, J.S. (1998) The weakly almost periodic compactification of a direct sum of finite groups. Mathematical Proceedings of the Cambridge Philosophical Society, 124 (3). pp. 421-449. ISSN 0305-0041. (The full text of this publication is not available from this repository)

Bordbar, Behzad (1998) Weakly almost period functions on N with a negative base. Journal of the London Mathematical Society (57). pp. 706-720. ISSN 0024-6107. (The full text of this publication is not available from this repository)

Conference or workshop item

Howells, Gareth and Bordbar, Behzad and Akehurst, David H. (2009) Model Transformation using Adaptive Systems. In: Fourth International Conference on Software and Data Technologies (ICSOFT 2009), July 2009, Sofia, Bulgaria. (The full text of this publication is not available from this repository)

Bordbar, Behzad and Howells, Gareth and Evans, Michael J. and Staikopoulos, Athanasios (2007) Model Transformation from OWL-S to BPEL via SiTra. In: Akehurst, David H. and Vogel, Régis and Paige, Richard F., eds. Model Driven Architecture- Foundations and Applicatio. Lecture Notes in Computer Science, 4530. Springer-Verlag pp. 43-58. ISBN 978-3-540-72900-6. (The full text of this publication is not available from this repository)

Bordbar, Behzad and Derrick, John and Waters, A. Gill (2003) A UML approach to the design of open distributed systems. In: Formal Methods and Software Engineering, October 21–25, 2002 , Shanghai, China. (The full text of this publication is not available from this repository)

Akehurst, David H. and Bordbar, Behzad and Derrick, John and Waters, A. Gill (2002) Design Support for Distributed Systems: DSE4DS. In: Procedings of the 7th Cabernet Radicals Workshop, 13-16 October 2002, Bertinoro, Italy. (Full text available)
[img]
Preview

Akehurst, David H. and Bordbar, Behzad and Rodgers, Peter and Dalgliesh, N.T.G. (2002) Automatic Normalisation via Metamodelling. In: ASE 2002 Workshop on Declarative Meta Programming to Support Software Development, September 2002. (Full text available)
[img]
Preview

Akehurst, David H. and Bordbar, Behzad (2001) On Querying UML data models with OCL. In: Unified Modeling Language: modeling languages, concepts, and toolsools'', October 1-5, 2001, Toronto, Canada. (The full text of this publication is not available from this repository)

Bordbar, Behzad and Giacomini, Luisa and Holding, David J. (2000) Hybrid Control Systems: a Design Case Study. In: Control Applications, 2000. Proceedings of the 2000 IEEE International Conference on. IEEE, Alaska, USA pp. 947-952. ISBN 0-7803-6562-3. (Full text available)
[img]
Preview

Bordbar, Behzad and Giacomini, Luisa and Holding, David J. (2000) UML and Petri Nets for Design and Analysis of Distributed Systems. In: Control Applications, 2000. Proceedings of the 2000 IEEE International Conference on. IEEE, Alaska, USA pp. 610-615. ISBN 0-7803-6562-3. (Full text available)
[img]
Preview

Bordbar, Behzad and Giacomini, Luisa and Holding, David J. (2000) Verification of a Hybrid Model of a Manufacturing System using Rectangular Petri Nets. In: Proceedings of the 6th International Workshop on Discrete Event Systems. (The full text of this publication is not available from this repository)

Bordbar, Behzad and Giacomini, Luisa and Holding, David J. (2000) Design of Distributed Manufacturing Systems using UML and Petri Nets. In: Algorithms and Architectures for Real-Time Control (AARTC 2000). Workshop on Algorithms and Architectures for Real-Time Control. Elsevier, Palma de Mallorca, Spain pp. 105-110. ISBN 0-08-043685-4 . (Full text available)
[img]
Preview

Bordbar, Behzad and Giacomini, Luisa and Holding, David J. (2000) A UML-based Approach to the Modelling and Supervisory Control of Manufacturing Machinery. In: IEE Control Seminars on Model Validation for Plant Control and Condition Monitoring, 28 March 2000, London, UK, . (Full text available)
[img]
Preview

Giacomini, Luisa and Bordbar, Behzad and Holding, David J. (2000) Hybrid Sliding Mode Control for a Set of Interconnected Nonlinear. In: 39th IEEE Conference on Decision and Control, Dec 12-15, 2000, Sydney, Australia. (The full text of this publication is not available from this repository)

Boel, R.K. and Bordbar, Behzad and Stremersch, G. (1998) Controlled Timed Petri Nets: Equivalence Relations, Model Reduction. In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Oct 11-14, 1998, San Diego, CA, . (The full text of this publication is not available from this repository)

Boel, R.K. and Bordbar, Behzad and Stremersch, G. (1998) A Min-plus Polynomial Approach to Forbidden State Control for General Petri Nets. In: Proceedings of the 4th International Workshop on Discrete Event Systems. (The full text of this publication is not available from this repository)

Other

Akehurst, David H. and Uzenkov, Oleg and Howells, Gareth and McDonald-Maier, Klaus D. and Bordbar, Behzad (2007) Compiling UML State Diagrams into WHDL: An Experiment in using Model Driven Development. CiteSeer. (The full text of this publication is not available from this repository)

This list was generated on Sat Oct 25 05:16:38 2014 BST.