Menu

F. K. Bell

51 published titles

Are ours really smaller than theirs?

(Contributor)

1 edition

  • Dept. of Computing Science and Mathematics, University of Stirling
  • 1996
  • Details

Using a formal user-centred model to build a formal system-centred model

(Contributor)

1 edition

  • Dept. of Computing Science and Mathematics, University of Stirling
  • 1997
  • Details

An architecture based approach to specifying distributed systems in LOTOS and Z

(Contributor)

1 edition

  • Dept. of Computing Science and Mathematics, University of Stirling
  • 1997
  • Details

Walk backwards to happiness : debugging by time travel

(Contributor)

1 edition

  • Dept. of Computing Science and Mathematics, University of Stirling
  • 1997
  • Details

Extended DILL : digital logic in LOTOS

(Contributor)

1 edition

  • Dept. of Computing Science and Mathematics, University of Stirling
  • 1997
  • Details

Software development and continual change : a programmers attitude problem?

(Contributor)

1 edition

  • Dept. of Computing Science and Mathematics, University of Stirling
  • 1998
  • Details

Trends in operating system design : towards a customisable persistent micro-kernel

(Contributor)

1 edition

  • Dept. of Computing Science and Mathematics, University of Stirling
  • 1998
  • Details

Learning XOR : exploring the space of a classic problem

(Contributor)

1 edition

  • Dept. of Computing Science and Mathematics, University of Stirling
  • 1998
  • Details

Timed DILL : digital logic in LOTOS

(Contributor)

1 edition

  • Dept. of Computing Science and Mathematics, University of Stirling
  • 1998
  • Details

ROOA with SDL

(Contributor)

1 edition

  • Dept. of Computing Science and Mathematics, University of Stirling
  • 1998
  • Details

Classifying acute abdominal pain by assuming independence : a study using two models constructed directly from data

(Contributor)

1 edition

  • Dept. of Computing Science and Mathematics, University of Stirling
  • 1999
  • Details

Modelling and verifying synchronous circuits in DILL

(Contributor)

1 edition

  • Dept. of Computing Science and Mathematics, University of Stirling
  • 1999
  • Details

Graph eigenspaces of codimension at most five

(Contributor)

1 edition

  • Dept. of Computing Science and Mathematics, University of Stirling
  • 2000
  • Details

Joint Workshop on Formal Specification of Computer-Based Systems

(Contributor)

3 editions

  • ISBN: 1857691210
  • University of Stirling, Dept. of Computing Science and Mathematics
  • 2000
  • Details
  • ISBN: 185769144X
  • University of Stirling, Dept. of Computing Science and Mathematics
  • 2001
  • Details
  • ISBN: 1857691695
  • University of Stirling, Dept. of Computing Science and Mathematics
  • 2002
  • Details

Constructions of the maximal exceptional graphs with largest degree less than 28

(Contributor)

1 edition

  • Dept. of Computing Science and Mathematics, University of Stirling
  • 2000
  • Details

Formal specification and analysis of digital hardware circuits in LOTOS

(Contributor)

1 edition

  • Dept. of Computing Science and Mathematics, University of Stirling
  • 2000
  • Details

Star sets and related aspects of algebraic graph theory

(Contributor)

1 edition

  • Dept. of Computing Science and Mathematics, University of Stirling
  • 2000
  • Details

Computer investigations of the maximal exceptional graphs

(Contributor)

1 edition

  • Dept. of Computing Science and Mathematics, University of Stirling
  • 2001
  • Details

IEEE 1394 (FireWire) Workshop : international workshop on application of formal methods to IEEE 1394 standard : Berlin, March 13, 2001

(Contributor)

1 edition

  • ISBN: 1857691539
  • University of Stirling, Dept. of Computing Science and Mathematics
  • 2001
  • Details

Extending the model of the decision tree

(Contributor)

1 edition

  • University of Stirling, Dept. of Computing Science and Mathematics
  • 2002
  • Details

Writing Decision Trees for the CGT viewer program

(Contributor)

1 edition

  • Dept. of Computing Science and Mathematics, University of Stirling
  • 2003
  • Details

5th Joint Workshop on Formal Specification of Computer-Based Systems : Brno, Czech Republic, May 27, 2004

(Contributor)

1 edition

  • ISBN: 1857691970
  • Department of Computing Science, University of Stirling
  • 2004
  • Details

Brain inspired cognitive systems 2004 : 29 August - 1 September 2004, University of Stirling, Scotland, UK.

(Contributor)

1 edition

  • ISBN: 1857691997
  • University of Stirling, Department of Computing Science and Mathematics
  • 2004
  • Details

Policies for H.323 Internet telephony

(Contributor)

1 edition

  • University of Stirling, Dept. of Computing Science and Mathematics
  • 2004
  • Details

The ACCENT policy wizard

(Contributor)

1 edition

  • Dept. of Computing Science and Mathematics, University of Stirling
  • 2005
  • Details

APPEL : the ACCENT project policy environment/language

(Contributor)

1 edition

  • Dept. of Computing Science and Mathematics, University of Stirling
  • 2005
  • Details

The ACCENT policy server

(Contributor)

1 edition

  • Dept. of Computing Science and Mathematics, University of Stirling
  • 2005
  • Details

An overview of ontology application for policy-based management using POPPET

(Contributor)

1 edition

  • Dept. of Computing Science and Mathematics, University of Stirling
  • 2006
  • Details

Ontology stack for a policy wizard

(Contributor)

1 edition

  • Dept. of Computing Science and Mathematics, University of Stirling
  • 2006
  • Details

Ontology for call control

(Contributor)

1 edition

  • Dept. of Computing Science and Mathematics, University of Stirling
  • 2006
  • Details

Ontologies for resolution policy definition and policy conflict detection

(Contributor)

2 editions

  • Dept. of Computing Science and Mathematics, University of Stirling
  • 2007
  • Details
  • Dept. of Computing Science and Mathematics, University of Stirling
  • 2007
  • Details

A scalable home care system infrastructure supporting domiciliary care

(Contributor)

1 edition

  • Department of Computing Science and Mathematics, University of Stirling
  • 2007
  • Details

An online environmental approach to service interaction management in home automation

(Contributor)

1 edition

  • Department of Computing Science and Mathematics, University of Stirling
  • 2007
  • Details

Push-button tools for application developers, full formal verification for component vendors

(Contributor)

1 edition

  • Department of Computing Science and Mathematics, University of Stirling
  • 2007
  • Details

Efficient service discovery in wide area networks

(Contributor)

1 edition

  • University of Stirling, Dept. of Computing Science and Mathematics
  • 2008
  • Details

Deriving mean field equations from large process algebra models

(Contributor)

1 edition

  • University of Stirling, Dept. of Computing Science and Mathematics
  • 2008
  • Details

The Omnibus language and integrated verification approach

(Contributor)

1 edition

  • University of Stirling, Dept. of Computing Science and Mathematics
  • 2008
  • Details

Bayesian belief networks for dementia diagnosis and other applications : a comparison of hand-crafting and construction using a novel data driven technique

(Contributor)

1 edition

  • Dept. of Computing Science and Mathematics
  • 2008
  • Details

A goal-directed and policy-based approach to system management

(Contributor)

1 edition

  • Dept. of Computing Science and Mathematics, University of Stirling
  • 2009
  • Details

Case studies using CRESS to develop web and grid services

(Contributor)

1 edition

  • Dept. of Computing Science and Mathematics, University of Stirling
  • 2009
  • Details

The Homer home automation system

(Contributor)

1 edition

  • Dept. of Computing Science and Mathematics, University of Stirling
  • 2010
  • Details

An analysis of planarity in face-routing

(Contributor)

1 edition

  • Dept. of Computing Science and Mathematics, University of Stirling
  • 2010
  • Details

An ontology based approach towards a universal description framework for home networks

(Contributor)

1 edition

  • Dept. of Computing Science and Mathematics, University of Stirling
  • 2010
  • Details

An integrated methodology for creating composed web/grid services : technical report

(Contributor)

1 edition

  • Dept. of Computing Science and Mathematics, University of Stirling
  • 2010
  • Details

How do people want to control their home?

(Contributor)

1 edition

  • Dept. of Computing Science and Mathematics, University of Stirling
  • 2011
  • Details

The ACCENT policy system

(Contributor)

1 edition

  • Computing Science and Mathematics, University of Stirling
  • 2011
  • Details

A peer-to-peer network framework utilising the public mobile telephone network

(Contributor)

1 edition

  • Dept. of Computing Science and Mathematics, University of Stirling
  • 2011
  • Details

Language definition for REED

(Contributor)

1 edition

  • Dept. of Computing Science and Mathematics, University of Stirling
  • 2011
  • Details

Handling emergent conflicts in adaptable rule-based sensor networks

(Contributor)

1 edition

  • Department of Computing Science and Mathematics, University of Stirling
  • 2012
  • Details

Augmenting metaheuristics with rewriting systems

(Contributor)

1 edition

  • Department of Computing Science and Mathematics, University of Stirling
  • 2014
  • Details

Gen-O-Fix : an embeddable framework for dynamic adaptive genetic improvement programming

(Contributor)

1 edition

  • Department of Computing Science and Mathematics, University of Stirling
  • 2014
  • Details

obnb.uk is a Good Stuff website.