A thread-tag based semantics for sequence diagrams [PDF]
, 2007 The sequence diagram is one of the most popular behaviour modelling languages which offers an intuitive and visual way of describing expected behaviour of object-oriented software.
Counsell, S, Dan, H, Hierons, RM
core +1 more source
A Complete Classification of Tractability in RCC-5
, 1997 We investigate the computational properties of the spatial algebra RCC-5 which is a restricted version of the RCC framework for spatial reasoning.
Drakengren, T., Jonsson, P.
core +2 more sources
A generic approach for the automatic verification of featured, parameterised systems [PDF]
, 2005 A general technique is presented that allows property based feature analysis of systems consisting of an arbitrary number of components. Each component may have an arbitrary set of safe features.
Calder, M., Miller, A.
core
Relating hygroscopicity and composition of organic aerosol particulate matter [PDF]
, 2010 A hygroscopicity tandem differential mobility analyzer (HTDMA) was used to measure the water uptake (hygroscopicity) of secondary organic aerosol (SOA) formed during the chemical and photochemical oxidation of several organic precursors in a smog chamber.
Aiken, Allison C. +16 more
core +2 more sources
Parameterized Verification of Safety Properties in Ad Hoc Network Protocols
, 2011 We summarize the main results proved in recent work on the parameterized verification of safety properties for ad hoc network protocols. We consider a model in which the communication topology of a network is represented as a graph.
A. Fehnker +29 more
core +2 more sources
Decidability properties for fragments of CHR
, 2010 We study the decidability of termination for two CHR dialects which, similarly to the Datalog like languages, are defined by using a signature which does not allow function symbols (of arity >0). Both languages allow the use of the = built-in in the body
Betz +12 more
core +1 more source
Dynamical treatment of Fermi motion in a microscopic description of heavy ion collisions [PDF]
, 2006 A quasiclassical Pauli potential is used to simulate the Fermi motion of nucleons in a molecular dynamical simulation of heavy ion collisions. The thermostatic properties of a Fermi gas with and without interactions are presented.
Blann, M. +5 more
core
Autism-associated SNPs in the clock genes _npas2_, _per1_ and the homeobox gene _en2_ alter DNA sequences that show characteristics of microRNA genes. [PDF]
, 2008 Intronic single nucleotide polymorphisms (SNPs) in the clock genes _npas2_ and _per1_ and the homeobox gene _en2_ are reported to be associated with autism.
Brad Nicholas +3 more
core +1 more source
Graph Abstraction and Abstract Graph Transformation [PDF]
, 2007 Many important systems like concurrent heap-manipulating programs, communication networks, or distributed algorithms are hard to verify due to their inherent dynamics and unboundedness.
Bauer, J. +3 more
core +1 more source
Restoration of endangered epiphytic lichens in fragmented forest landscapes [PDF]
, 2009 In a situation with increasingly rapid changes in landscape mosaics, driven by large-scale forestry and future climate change, a number of epiphytic lichens are now becoming threatened.
Lidén, Marlene
core