Trace monitoring with free variables

Trace monitoring with free variables

Bibliographic Details
Main Author:	Avgustinov, Pavel
Published:	University of Oxford 2009
Subjects:	005.3
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.526562

Similar Items

Optimising trace monitors
by: Tibble, Julian
Published: (2009)

Monitoring of traffic anomalies using microscopic traffic variables in vehicular transportation networks
by: Thajchayapong, Suttipong
Published: (2010)

Handling concatenation in trace- and model-checking
by: Baran, J.
Published: (2009)

Variability Capture and Realization for Software Lines
by: Gowley, R. E.
Published: (2010)

Latent variable methods for visualization through time
by: Strachan, Iain Guy David
Published: (2002)

The contestation of code : a political economy of free software and open source
by: Berry, David M.
Published: (2007)

Towards flexible and scalable distributed monitoring with mobile agents
by: Liotta, Antonio
Published: (2001)

Participatory design and free and open source software in the not for profit sector : the Hublink Project
by: Haskel, Lisa Frances
Published: (2017)

The Use of Variable Function Logic in the Design of a Learning Controller
by: Ray, S. K.
Published: (1975)

Analysing the requirements for monitoring and switching : a problem-oriented approach
by: Salifu, Mohammed
Published: (2008)

Framed aspects-A generative variability approach for aspect-oriented programming
by: Loughran, Neil Anthony
Published: (2008)

Visualising variable requirements and inter-dependencies within software product lines
by: Sellier, David H.
Published: (2008)

The Use of Product Measures In Planning Monitoring and Controlling Software Maintenance Releases
by: Ware, Melanie
Published: (2008)

Supporting the modelling and generation of reflective middleware families and applications using dynamic variability
by: Bencomo, Nelly
Published: (2008)

Speculative parallelisation with dynamic data structures
by: Rybin, Pavel
Published: (2010)

Interaction Nets : Language and Design and Implementation
by: Hassan, Abubakar
Published: (2009)

A Modular Network-Centric Solution to Space Restricted Distributed Processing
by: Fowler, Matthew Robert
Published: (2009)

Aspect-driven model transformations in model driven development
by: Liyanagama, Pulitha Lakmith
Published: (2009)

Kalman filtering applied to online auction forecasting
by: Zeng, Zheng
Published: (2009)

Using Class-Level Static Properties to Predict Object Lifetimes
by: Marion, Sebastien Nicolas
Published: (2009)

Face recognition using skin texture
by: Rowe, Dale Christopher
Published: (2009)

Fast pose and automatic matching using hybrid method for the three dimensional face recognition
by: Hwang, June Youn
Published: (2009)

New pattern-based approaches for sevice-oriented architecture design and modelling
by: Hentrich, Carsten
Published: (2009)

A framework for static program analysis of imperative languages
by: Panumong, Vajirapan
Published: (2009)

Design Informatics for Packaging
by: Ma, Lei
Published: (2009)

Architectural support for socio-technical systems
by: El-Hassan, Osama E. S.
Published: (2009)

Ontology-based context management for mobile devices
by: De, Suparna
Published: (2009)

Flicker and unsteadiness compensation for archived film sequences
by: Forbin, Guillaume
Published: (2009)

On the development of a stochastic optimisation algorithm with capabilities for distributed computing
by: Yang, Siyu
Published: (2009)

Content and service adaption management
by: Attou, Abdelhak
Published: (2009)

Using 3d Facial Motion for Biometric Identification
by: Benedikt, Lanthao
Published: (2009)

Enhancing the usability of rely-guarantee conditions for atomicity refinement
by: Pierce, Kenneth George
Published: (2009)

A software component model with concurrency
by: Ntalamagkas, Ioannis
Published: (2009)

Deriving information from inconsistent knowledge bases : a probablistic approach
by: Muino, David Picado
Published: (2009)

Faster : A hybrid algorithm for feature selection and record reduction
by: Qamar, Usman
Published: (2009)

A Literature-Based Framework for semantic descriptions of E-Science Resources
by: Afzal, Hammad
Published: (2009)

Expressing and processing data quality-aware queries : The DQ2L approach
by: Dong, Chao
Published: (2009)

A theory for flow-oriented software processes
by: Norton, Barry
Published: (2009)

Analysing the Impact of Change on Finite State Machine Test Sets
by: Salahuddin, Sarah
Published: (2009)

Data Transformation for Decision Tree Ensembles
by: Ahmad, Amir
Published: (2009)

Cannot write session to /tmp/vufind_sessions/sess_h6h7h0fntcc9aj9oj96agu62ec