You are here: silicon.com > Resources > White Papers

White Papers

A Formal Framework for Modelling and Analysing Mobile Systems

Overview This paper presents a formal framework for modelling and analysing mobile systems. The framework comprises a collection of models of the dominant design paradigms which are readily extended to incorporate details of particular technologies, i.e., programming languages and their run-time support, and applications. The modelling language is Object-Z, an ex-tension of the well-known Z specification language with explicit support for object-oriented concepts. Its support for object orientation makes Object-Z particularly suited to the task. The system structuring techniques offered by object orientation are well suited to modelling mobile systems. In addition, inheritance and polymorphism allow to exploit commonalities in mobile systems by defining more complex models in terms of simpler ones.

Further White Paper Details
Publisher	Australian Computer Society	File Format	PDF
Date Published	December 2006
Format	White Papers
Topics	N/A

Did you find this white paper useful? 1 out of 2 users found this white paper useful

11 things to consider for File Virtualization

Publisher:
Brocade Communications Systems

Connecting international businesses securely

Publisher:
Easynet

Harnessing technology for competitive advantage

Publisher:
Easynet

Stakeholders' management and collaboration

Publisher:
Easynet

The need for real-time communications in European logistics

Publisher:
Easynet

Live Webcast: Telecoms 2.0 - Where is telecoms heading?

In this webcast, our panel of experts will review where we are with next generation telecoms in the UK, working through the concept of 'Telecoms 2.0': - Realising the potential of Next Generation Networks - why it isn't just about the technology? - What attributes should firms be looking for in their telco partner? - Is the relationship between telco provider and customer changing? - What things need to happen to make next generation services a reality? - You say you want the supplier to change. Do you want to change too? - What is Telecoms 2.0?

Publisher:
ZDNet UK

Telecom 2.0: Mind over matter

ntl:Telewest Business believes that the role of the telco is evolving. Gone are the days when it was enough to simply focus on circuits and minutes, customers now need a far higher degree of interaction and look for suppliers who will talk business solutions with them.

Publisher:
ntl:Telewest Business

IBM Information Server Change Data Capture

In today's fast-paced world, access to real-time data has never been more important. To be successful, organizations need to be able to report and analyze corporate data quickly and easily, regardless of what applications created the data, what platform they're running on, or what database they're stored in.

Publisher:
IBM

An examination of server consolidation: the trends that can drive efficiencies and help businesses gain a competitive edge

This white paper provides a starting point for organizations contemplating server consolidation. It includes an overview of server consolidation concepts and techniques and provides guidance on methodologies. It also looks at the potential cost savings associated with server consolidation and offers information on how organizations can sustain the advantage they have gained by consolidating their servers.

Publisher:
IBM

Also on silicon.com

Site Navigation:

White Papers

A Formal Framework for Modelling and Analysing Mobile Systems

Quick Sitemap Links:

About Us

Search

Blogs

Verticals

Advertising Features

CNET Networks in Europe

CNET Networks in the United States

CNET Networks in Asia Pacific