Browse by Publisher

Group by: Item Type | Date | No Grouping

Jump to: Article | Conference or workshop item

Number of items: 11.

Article

Hatton, Leslie (1997) Re-examining the fault density - component size connection. IEE Software, 14 (2). pp. 89-97. ISSN 0740-7459. (doi:10.1109/52.582978) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21532)

Conference or workshop item

Suvanaphen, Edward, Roberts, Jonathan C. (2007) Visualizing Evolving Searches with EvoBerry. In: Banissi, Ebad, ed. Proceedings of the 11th International Conference on Information Visualization (IV07). IEEE International Conference on Information Visualization . pp. 238-244. IEEE Computer Society Press ISBN ISSN:1550-6037. (doi:10.1109/IV.2007.135) (KAR id:14570)

Oliveira, Marcel V. M., Xavier, Manuela A., Cavalcanti, Ana L. C. (2004) Refine and Gabriel: Support for Refinement and Tactics. In: 2nd IEEE International Conference on Software Engineering and Formal Methods. . pp. 310-319. IEEE Computer Society Press ISBN 0-7695-2222-X. (doi:10.1109/SEFM.2004.1347535) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14109)

Gil, Joseph, Howse, John, Kent, Stuart (2001) Towards a Formalization of Constraint Diagrams. In: Proceedings of IEEE Symposia on Human-Centric Computing. . pp. 72-79. IEEE Computer Society Press, Stresa, Italy (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13490)

Speirs, Neil, Arief, Budi (2000) Simulation of a telecommunication system using simML. In: Proceedings of the IEEE 26th Annual Simulation Symposium, Washington. (SS 2000) Proceedings. 33rd Annual Simulation Symposium, 2000. . pp. 131-138. IEEE Computer Society Press, Los Alamitos, CA, United States, Washington, DC, USA ISBN 0-7695-0598-8. (doi:10.1109/SIMSYM.2000.844909) (KAR id:58701)

Gil, Joseph, Howse, John, Kent, Stuart (1999) Constraint Diagrams: A Step Beyond UML. In: Proceedings of TOOLS USA'99. . IEEE Computer Society Press (doi:10.1109/TOOLS.1999.10066) (KAR id:21740)

Howse, John, Molina, Fernando, Taylor, John, Kent, Stuart (1999) Reasoning with Spider Diagrams. In: Proceedings of IEEE Symposium on Visual Languages (VL99). . pp. 138-145. IEEE Computer Society Press (doi:10.1109/VL.1999.795885) (KAR id:21742)

Lauder, Anthony, Kent, Stuart (1999) Two-Level Modeling. In: Proceedings of TOOLS Asia 99. . p. 108. IEEE Computer Society Press (doi:10.1109/TOOLS.1999.796473) (KAR id:21725)

Kent, Stuart, Howse, John (1999) Mixing Visual and Textual Constraint Languages. In: Proceedings of UML'99. . IEEE Computer Society Press (doi:10.1007/3-540-46852-8_28) (KAR id:21765)

Rizzo, Mike, Utting, Ian (1997) A Negotiating Agents Model for the Provision of Flexible Telephony Services. In: Proceedings ISADS 97 - Third International Symposium on Autonomous Decentralized Systems. . pp. 351-358. IEEE Computer Society Press ISBN 0-8186-7783-X. (KAR id:21512)

Makinson, Gordon, Wojtulewicz, M. (1993) Further Development of a Distributed Transputer Based X Server. In: Proceedings of the Seventh International Parallel Processing Symposium. . pp. 98-102. IEEE Computer Society Press, Los Angeles, California, USA (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21121)

This list was generated on Tue Dec 24 02:19:34 2024 GMT.