A framework and tool support for the systematic testing of model-based specifications

Formal specifications can precisely and unambiguously define the required behavior of a software system or component. However, formal specifications are complex artifacts that need to be verified to ensure that they are consistent, complete, and validated against the requirements. Specification testing or animation tools exist to assist with this by allowing the specifier to interpret or execute the specification. However, currently little is known about how to do this effectively. This article presents a framework and tool support for the systematic testing of formal, model-based specifications. Several important generic properties that should be satisfied by model-based specifications are first identified. Following the idea of mutation analysis, we then use variants or mutants of the specification to check that these properties are satisfied. The framework also allows the specifier to test application-specific properties. All properties are tested for a range of states that are defined by the tester in the form of a testgraph, which is a directed graph that partially models the states and transitions of the specification being tested. Tool support is provided for the generation of the mutants, for automatically traversing the testgraph and executing the test cases, and for reporting any errors. The framework is demonstrated on a small specification and its application to three larger specifications is discussed. Experience indicates that the framework can be used effectively to test small to medium-sized specifications and that it can reveal a significant number of problems in these specifications.

Description of manganese deposits collected by R/V Nothwind during the 1963 expedition in the Laptev sea

The 400-km-wide, low gradient Laptev Sea continental shelf consists of flat terrace-like features at regular depth intervals from 10 to 40 m below present sea level. The five large submarine valleys traversing the shelf do not continuously grade seaward, but contain elongated, closed basins. These terraces and closed basins plus deltaic sediments associated with the submarine valleys quite possibly mark sea level Stillstands, and enable reconstruction of the paleogeography of the Laptev Sea shore line at five periods during post-Wisconsin (Holocene) time. Radiocarbon dates on the silty-clay to clayey-silt sediments from cores of the northeastern Laptev Sea indicate average sedimentation intensity of 2 to 15 mg/cm2/yr. The presence of manganese nodules and crusts in surface samples from less than 55 m depths and a general decrease in total foraminiferal abundances with depth in the cores suggest that the present deposition rate is less than when sea level was lower. The main components of the shelf deposits are near- shore sediments which were spread over the shelf as Holocene sea level fluctuated and marine currents distributed modern fine sediment. Rare silty-sand layers and the coarser nuclei of the manganese crusts and nodules indicate ice rafting. However, this mechanism is probably only locally important as a significant transporting agent.

The making of professionals: Embedded civil society development in a transition country

The paper addresses the development of non-governmental organisations (NGOs) in transition settings. Caught in the balance of knowledge exchange and translation of ideas from abroad, organisations in turbulent setting legitimise their existence by learning through professional networks. By association, organisational actors gain acknowledgement by their sector by traversing the corridors of influence provided by international partnerships. What they learn is how to conduct themselves as agents of change in society, and how to deliver on stated missions and goals, therefore, legitimising their presence in a budding civil society at home. The paper presents a knowledge production and learning practices framework which indicates a presence of dual identity of NGOs - their “embeddedness” locally and internationally. Selected framework dimensions and qualitative case study themes are discussed with respect to the level of independence of organisational actors in the East from their partners in the West in a post-socialist context. A professional global civil society as organisations are increasingly managed in similar, professional ways (Anheier & Themudo 2002). Here knowledge “handling” and knowledge “translation” take place through partnership exchanges fostering capable and/or competitive change-inducing institutions (Czarniawska & Sevon 2005; Hwang & Suarez 2005). How professional identity presents itself in the third sector, as well as the sector’s claim to expertise, need further attention, adding to ongoing discussions on professions in institutional theory (Hwang & Powell 2005; Scott 2008; Noordegraaf 2011). A conceptual framework on the dynamic involved for the construction professional fields follows: • Multiple case analysis provides a taxonomy for understanding what is happening in knowledge transition, adaptation, and organisational learning capacity for NGOs with respect to their role in a networked civil society. With the model we can observe the types of knowledge produced and learning employed by organisations. • There are elements of professionalisation in third sector work organisational activity with respect to its accreditation, sources and routines of learning, knowledge claims, interaction with the statutory sector, recognition in cross-sector partnerships etc. • It signals that there is a dual embeddedness in the development of the sector at the core to the shaping the sector’s professional status. This is instrumental in the NGOs’ goal to gain influence as institutions, as they are only one part of a cross-sector mission to address complex societal problems The case study material highlights nuances of knowledge production and learning practices in partnerships, with dual embeddedness a main feature of the findings. This provides some clues to how professionalisation as expert-making takes shape in organisations: • Depending on the type of organisations’ purpose, over its course of development there is an increase in participation in multiple networks, as opposed to reliance on a single strategic partner for knowledge artefacts and practices; • Some types of organisations are better connected within international and national networks than others and there seem to be preferences for each depending on the area of work; • The level of interpretation or adaptation of the knowledge artefacts is related to an organisation’s embeddedness locally, in turn giving it more influence within the network of key institutions; An overreaching theme across taxonomy categories (Table 1)is “professionalisation” or developing organisational “expertise”, embodied at the individual, organisational, and sector levels. Questions relevant to the exercise of power arise: Is competence in managing a dual embeddedness signals the development of a dual identity in professionalisation? Is professionalisation in this sense a sign of organisations maturing into more capable partners to the arguably more experienced (Western) institutions, shifting the power balance? Or is becoming more professional a sign of domestication to the agenda of certain powerful stakeholders, who define the boundaries of the profession? Which dominant dynamics can be observed in a broadly-defined transition country civil society, where individual participation in the form of activism may be overtaking the traditional forms of organised development work, especially with the spread of social media?

To be a woman here is to be invisible: in search of the dispossessed femininity in Middle-earth

In my thesis I examine J.R.R. Tolkien’s The Lord of the Rings (1954-55), the fantasy epic written on the basis of a fictional universe created by Tolkien, complete with elves, dwarves and other mystical creatures – with languages, alphabets and grammar created for all. While rich linguistically, Tolkien writes a decidedly male description of his world, often neglecting any acknowledgement of female existence. Tolkien’s monolithic stature amongst other fantasy authors made me conduct a feminist reading of The Lord of the Rings, with an eye for the way female experience is marginalized to the point of omission. Tolkien’s linguistic accomplishments have overshadowed the illogical aspects of his work, namely the omission of genders, societal classes and features of society necessary for the fictional universe to retain its cohesion. This cohesion suffers from a totally male experience in the novel which is willfully blind to these features I listed. My theoretical framework is built on ideas in Toril Moi’s Sex, Gender and the Body (2005) and bell hook’s Feminism is For Everybody (2000). Michel Foucault’s ideas of power and hidden histories assist in performing a close reading of the source text and interpreting the results. My thesis focuses on the transformation that the values associated with the concept of equality have undergone. This is best illustrated in the treatment of the few female characters in the novel – Galadriel, Éowyn and Arwen – as their beauty and existence interferes with the ordering of the male-dominated world.

Poorer subjective sleep quality is related to higher fantasy-induced sexual arousal in women of reproductive age

Lack of sleep enhances erections and lubrication the next day. This raises the possibility that poorer subjective sleep quality is related to sexual arousal. To test this hypothesis, sexual arousal was elicited in 70 Portuguese women of reproductive age by means of fantasy. The level of salivary testosterone before and shortly after fantasy was determined by luminescence immunoassays. Participants completed the Pittsburgh Sleep Quality Index (PSQI), reported their sexual arousal before and during fantasy, and how anxious they were after the fantasy. The hypothesis was confirmed. Anxiety did not explain the association, but testosterone response (poststimulus minus baseline) had a slight explanatory effect.

Multi-objective mission flight planning in civil unmanned aerial systems

Unmanned Aerial Vehicles (UAVs) are emerging as an ideal platform for a wide range of civil applications such as disaster monitoring, atmospheric observation and outback delivery. However, the operation of UAVs is currently restricted to specially segregated regions of airspace outside of the National Airspace System (NAS). Mission Flight Planning (MFP) is an integral part of UAV operation that addresses some of the requirements (such as safety and the rules of the air) of integrating UAVs in the NAS. Automated MFP is a key enabler for a number of UAV operating scenarios as it aids in increasing the level of onboard autonomy. For example, onboard MFP is required to ensure continued conformance with the NAS integration requirements when there is an outage in the communications link. MFP is a motion planning task concerned with finding a path between a designated start waypoint and goal waypoint. This path is described with a sequence of 4 Dimensional (4D) waypoints (three spatial and one time dimension) or equivalently with a sequence of trajectory segments (or tracks). It is necessary to consider the time dimension as the UAV operates in a dynamic environment. Existing methods for generic motion planning, UAV motion planning and general vehicle motion planning cannot adequately address the requirements of MFP. The flight plan needs to optimise for multiple decision objectives including mission safety objectives, the rules of the air and mission efficiency objectives. Online (in-flight) replanning capability is needed as the UAV operates in a large, dynamic and uncertain outdoor environment. This thesis derives a multi-objective 4D search algorithm entitled Multi- Step A* (MSA*) based on the seminal A* search algorithm. MSA* is proven to find the optimal (least cost) path given a variable successor operator (which enables arbitrary track angle and track velocity resolution). Furthermore, it is shown to be of comparable complexity to multi-objective, vector neighbourhood based A* (Vector A*, an extension of A*). A variable successor operator enables the imposition of a multi-resolution lattice structure on the search space (which results in fewer search nodes). Unlike cell decomposition based methods, soundness is guaranteed with multi-resolution MSA*. MSA* is demonstrated through Monte Carlo simulations to be computationally efficient. It is shown that multi-resolution, lattice based MSA* finds paths of equivalent cost (less than 0.5% difference) to Vector A* (the benchmark) in a third of the computation time (on average). This is the first contribution of the research. The second contribution is the discovery of the additive consistency property for planning with multiple decision objectives. Additive consistency ensures that the planner is not biased (which results in a suboptimal path) by ensuring that the cost of traversing a track using one step equals that of traversing the same track using multiple steps. MSA* mitigates uncertainty through online replanning, Multi-Criteria Decision Making (MCDM) and tolerance. Each trajectory segment is modeled with a cell sequence that completely encloses the trajectory segment. The tolerance, measured as the minimum distance between the track and cell boundaries, is the third major contribution. Even though MSA* is demonstrated for UAV MFP, it is extensible to other 4D vehicle motion planning applications. Finally, the research proposes a self-scheduling replanning architecture for MFP. This architecture replicates the decision strategies of human experts to meet the time constraints of online replanning. Based on a feedback loop, the proposed architecture switches between fast, near-optimal planning and optimal planning to minimise the need for hold manoeuvres. The derived MFP framework is original and shown, through extensive verification and validation, to satisfy the requirements of UAV MFP. As MFP is an enabling factor for operation of UAVs in the NAS, the presented work is both original and significant.

Estimation of travel time on urban networks with midlink sources and sinks

This paper presents a methodology for estimation of average travel time on signalized urban networks by integrating cumulative plots and probe data. This integration aims to reduce the relative deviations in the cumulative plots due to midlink sources and sinks. During undersaturated traffic conditions, the concept of a virtual probe is introduced, and therefore, accurate travel time can be obtained when a real probe is unavailable. For oversaturated traffic conditions, only one probe per travel time estimation interval—360 s or 3% of vehicles traversing the link as a probe—has the potential to provide accurate travel time.

Fear and danger in nocturnal urban environments

At the centre of this research is an ethnographic study that saw the researcher embedded within the fabric of inner city life to better understand what characteristics of user activity and interaction could be enhanced by technology. The initial research indicated that the experience of traversing the city after dark unified an otherwise divergent user group through a shared concern for personal safety. Managing this fear and danger represented an important user need. We found that mobile social networking systems are not only integral for bringing people together, they can help in the process of users safely dispersing as well. We conclude, however, that at a time when the average iPhone staggers under the weight of a plethora of apps that do everything from acting as a carpenter’s level to a pregnancy predictor, we consider the potential for the functionality of a personal safety device to be embodied within a stand alone artifact.

Planning and implementing trajectories for autonomous underwater vehicles to track evolving ocean processes based on predictions from a regional ocean model

Path planning and trajectory design for autonomous underwater vehicles (AUVs) is of great importance to the oceanographic research community because automated data collection is becoming more prevalent. Intelligent planning is required to maneuver a vehicle to high-valued locations to perform data collection. In this paper, we present algorithms that determine paths for AUVs to track evolving features of interest in the ocean by considering the output of predictive ocean models. While traversing the computed path, the vehicle provides near-real-time, in situ measurements back to the model, with the intent to increase the skill of future predictions in the local region. The results presented here extend prelim- inary developments of the path planning portion of an end-to-end autonomous prediction and tasking system for aquatic, mobile sensor networks. This extension is the incorporation of multiple vehicles to track the centroid and the boundary of the extent of a feature of interest. Similar algorithms to those presented here are under development to consider additional locations for multiple types of features. The primary focus here is on algorithm development utilizing model predictions to assist in solving the motion planning problem of steering an AUV to high-valued locations, with respect to the data desired. We discuss the design technique to generate the paths, present simulation results and provide experimental data from field deployments for tracking dynamic features by use of an AUV in the Southern California coastal ocean.

Same old 'other' mother: Neil Gaiman's Coraline

Central to Coraline’s experiences in the fantasy world beyond the walls of her flat is the ‘other’ mother, who is initially constructed as an idealised image of maternal care whose only concern is for the welfare and comfort of her child. But as the story unfolds, this belle dame rapidly transforms into the ‘beldam sans merci’, an old crone, a she-devil whose real interest lies in the power she can draw from possessing the souls of children such as Coraline. This paper explores the Gaiman’s use of archetypes and cultural stereotypes of the mother figure that feminisms have been intent on expunging, interrogating, or appropriating in positive ways.

Imagining neighbourhood-based community : an autoethnography

This research is an autoethnographic investigation of consumption experiences, public and quasi-public spaces, and their relationship to community within an inner city neighbourhood. The research specifically focuses on the gentrifying inner city, where class-based processes of change can have implications for people’s abilities to remain within, or feel connected to place. However, the thesis draws on broader theories of the throwntogetherness of the contemporary city (e.g., Amin and Thrift, 2002; Massey 2005) to argue that the city is a space where place-based meanings cannot be seen to be fixed, and are instead better understood as events of place – based on ever shifting interrelations between the trajectories of people and things. This perspective argues the experience of belonging to community is not just born of a social encounter, but also draws on the physical and symbolic elements of the context in which it is situated. The thesis particularly explores the ways people construct identifications within this shifting urban environment. As such, consumption practices and spaces offer one important lens through which to explore the interplay of the physical, social and symbolic. Consumer research tells us that consumption practices can facilitate experiences in which identity-defining meaning can be generated and shared. Consumption spaces can also support different kinds of collective identification – as anchoring realms for specific cultural groups or exposure realms that enable individuals to share in the identification practices of others with limited risk (Aubert-Gamet & Cova, 1999). Furthermore, the consumption-based lifestyles that gentrifying inner city neighbourhoods both support and encourage can also mean that consumption practices may be a key reason that people are moving through public space. That is, consumption practices and spaces may provide a purpose for which – and spatial frame against which – our everyday interactions and connections with people and objects are undertaken within such neighbourhoods. The purpose of this investigation then was to delve into the subjectivities at the heart of identifying with places, using the lens of our consumption-based experiences within them. The enquiry describes individual and collective identifications and emotional connections, and explores how these arise within and through our experiences within public and quasi-public spaces. It then theorises these ‘imaginings’ as representative of an experience of community. To do so, it draws on theories of imagination and its relation to community. Theories of imagined community remind us that both the values and identities of community are held together by projections that create relational links out of objects and shared practices (e.g., Benedict Anderson, 2006; Urry, 2000). Drawing on broader theories of the processes of the imagination, this thesis suggests that an interplay between reflexivity and fantasy – which are products of the critical and the fascinated consciousness – plays a role in this imagining of community (e.g., Brann, 1991; Ricoeur, 1994). This thesis therefore seeks to explore how these processes of imagining are implicated within the construction of an experience of belonging to neighbourhood-based community through consumption practices and the public and quasi-public spaces that frame them. The key question of this thesis is how do an individual’s consumption practices work to construct an imagined presence of neighbourhood-based community? Given the focus on public and quasi-public spaces and our experiences within them, the research also asked how do experiences in the public and quasi-public spaces that frame these practices contribute to the construction of this imagined presence? This investigation of imagining community through consumption practices is based on my own experiences of moving to, and attempting to construct community connections within, an inner city neighbourhood in Melbourne, Australia. To do so, I adopted autoethnographic methodology. This is because autoethnography provides the methodological tools through which one can explore and make visible the subjectivities inherent within the lived experiences of interest to the thesis (Ellis, 2004). I describe imagining community through consumption as an extension of a placebased self. This self is manifest through personal identification in consumption spaces that operate as anchoring realms for specific cultural groups, as well as through a broader imagining of spaces, people, and practices as connected through experiences within realms of exposure. However, this is a process that oscillates through cycles of identification; these anchor one within place personally, but also disrupt those attachments. This instability can force one to question the orientation and motives of these imaginings, and reframe them according to different spaces and reference groups in ways that can also work to construct a more anonymous and, conversely, more achievable collective identification. All the while, the ‘I’ at the heart of this identification is in an ongoing process of negotiation, and similarly, the imagined community is never complete. That is, imagining community is a negotiation, with people and spaces – but mostly with the different identifications of the self. This thesis has been undertaken by publication, and thus the process of imagining community is explored and described through four papers. Of these, the first two focus on specific types of consumption spaces – a bar and a shopping centre – and consider the ways that anchoring and exposure within these spaces support the process of imagining community. The third paper examines the ways that the public and quasi-public spaces that make up the broader neighbourhood context are themselves throwntogether as a realm of exposure, and considers the ways this shapes my imaginings of this neighbourhood as community. The final paper develops a theory of imagined community, as a process of comparison and contrast with imagined others, to provide a summative conceptualisation of the first three papers. The first paper, chapter five, explores this process of comparison and contrast in relation to authenticity, which in itself is a subjective assessment of identity. This chapter was written as a direct response to the recent work of Zukin (2010), and draws on theories of authenticity as applied to personal and collective identification practices by consumer researchers Arnould and Price (2000). In this chapter, I describe how my assessments of the authenticity of my anchoring experiences within one specific consumption space, a neighbourhood bar, are evaluated in comparison to my observations of and affective reactions to the social practices of another group of residents in a different consumption space, the local shopping centre. Chapter five also provides an overview of the key sites and experiences that are considered in more detail in the following two chapters. In chapter six, I again draw on my experiences within the bar introduced in chapter five, this time to explore the process of developing a regular identity within a specific consumption space. Addressing the popular theory of the cafe or bar as third place (Oldenburg, 1999), this paper considers the purpose of developing anchored relationships with people within specific consumption spaces, and explores the different ways this may be achieved in an urban context where the mobilities and lifestyle practices of residents complicate the idea of a consumption space as an anchoring or third place. In doing so, this chapter also considers the manner in which this type of regular identification may be seen to be the beginning of the process of imagining community. In chapter seven, I consider the ways the broader public spaces of the neighbourhood work cumulatively to expose different aspects of its identity by following my everyday movements through the neighbourhood’s shopping centre and main street. Drawing on the theories of Urry (2000), Massey (2005), and Amin (2007, 2008), this chapter describes how these spaces operate as exposure realms, enabling the expression of different senses of the neighbourhood’s spaces, times, cultures, and identities through their physical, social, and symbolic elements. Yet they also enable them to be united: through habitual pathways, group practices of appropriation of space, and memory traces that construct connections between objects and experiences. This chapter describes this as a process of exposure to these different elements. Our imagination begins to expand the scope of the frames onto which it projects an imagined presence; it searches for patterns within the physical, social, and symbolic environment and draws connections between people and practices across spaces. As the final paper, chapter eight, deduces, it is in making these connections that one constructs the objects and shared practices of imagined community. This chapter describes this as an imagining of neighbourhood as a place-based extension of the self, and then explores the ways in which I drew on physical, social, and symbolic elements in an attempt to construct a fit between the neighbourhood’s offerings and my desires for place-based identity definition. This was as a cumulative but fragmented process, in which positive and negative experiences of interaction and identification with people and things were searched for their potential to operate as the objects and shared practices of imagined community. This chapter describes these connections as constructed through interplay between reflexivity and fantasy, as the imagination seeks balance between desires for experiences of belonging, and the complexities of constructing them within the throwntogether context of the contemporary city. The conclusion of the thesis describes the process of imagining community as a reflexive fantasy, that is, as a product of both the critical and fascinated consciousness (Ricoeur, 1994). It suggests that the fascinated consciousness imbues experiences with hope and desire, which the reflexive imagining can turn to disappointment and shame as it critically reflects on the reality of those fascinated projections. At the same time, the reflexive imagination also searches the practices of others for affirmation of those projections, effectively seeking to prove the reality of the fantasy of the imagined community.

Cometary evolution : clues on physical properties from chondritic interplanetary dust particles

The degree of diversity or similarity detected in comets depends primarily on the lifetimes of the individual cometary nuclei at the time of analysis. It is inherent in our understanding of cometary orbital dynamics and the seminal model of comet origins that cometary evolution is the natural order of events in our Solar System. Thus, predictions of cometary behaviour in terms of bulk physical, mineralogical or chemical parameters should contain an appreciation of temporal variation(s). Previously, Rietmeijer and Mackinnon [1987] developed mineralogical bases for the chemical evolution of cometary nuclei primarily with regard to the predominantly silicate fraction of comet nuclei. We suggested that alteration of solids in cometary nuclei should be expected and that indications of likely reactants and products can be derived from judicious comparison with terrestrial diagenetic environments which include hydrocryogenic and low-temperature aqueous alterations. In a further development of this concept, Rietmeijer [1988] provides indirect evidence for the formation of sulfides and oxides in comet nuclei. Furthermore, Rietmeijer [1988] noted that timescales for hydrocryogenic and low-temperature reactions involving liquid water are probably adequate for relatively mature comets, e.g. P/comet Halley. In this paper, we will address the evolution of comet nuclei physical parameters such as solid particle grain size, porosity and density. In natural environments, chemical evolution (e.g. mineral reactions) is often accompanied by changes in physical properties. These concurrent changes are well-documented in the terrestrial geological literature, especially in studies of sediment diagenesis and we suggest that similar basic principles apply within the upper few meters of active comet nuclei. The database for prediction of comet nuclei physical parameters is, in principle, the same as used for the proposition of chemical evolution. We use detailed mineralogical studies of chondritic interplanetary dust particles (IDPS) as a guide to the likely constitution of mature comets traversing the inner Solar System. While there is, as yet, no direct proof that a specific sub-group or type of chondritic IDP is derived from a specific comet, it is clear that these particles are extraterrestrial in origin and that a certain portion of the interplanetary flux received by the Earth is cometary in origin. Two chondritic porous (CP) IDPS, sample numbers W701OA2 and W7029CI, from the Johnson Space Center Cosmic Dust Collection have been selected for this study of putative cometary physical parameters. This particular type of particle is considered a likely candidate for a cometary origin on the basis of mineralogy, bulk composition and morphology. While many IDPs have been subjected to intensive study over the past decade, we can develop a physical parameter model on only these two CP IDPs because few others have been studied in sufficient detail.

Supplementary information : weighted tree kernels for sequence analysis

Genomic sequences are fundamentally text documents, admitting various representations according to need and tokenization. Gene expression depends crucially on binding of enzymes to the DNA sequence at small, poorly conserved binding sites, limiting the utility of standard pattern search. However, one may exploit the regular syntactic structure of the enzyme's component proteins and the corresponding binding sites, framing the problem as one of detecting grammatically correct genomic phrases. In this paper we propose new kernels based on weighted tree structures, traversing the paths within them to capture the features which underpin the task. Experimentally, we and that these kernels provide performance comparable with state of the art approaches for this problem, while offering significant computational advantages over earlier methods. The methods proposed may be applied to a broad range of sequence or tree-structured data in molecular biology and other domains.

From mountaintop to corporate ladder: What new professionals really really want in a capstone experience!

Capstone subjects are increasingly used in Universities worldwide to complete the undergraduate program experience and to transition graduates into the workplace. As such, capstones fulfil a large role consolidating one experience and traversing the gap to another. Yet, little is known or understood about their design, their implementation or evaluation. In this study we investigate the final-year experience from the student's perspective. We surveyed graduates from five Business Schools in Australia to identify perceptions of their final-year experience. Findings indicate that the transition experience of the student to professional is unique. In their liminal or intermediate state between student and professional they recognise the value of process skills, in particular the development of generic business skills related to application and the importance of opportunities for experiencing the application of theory in practice. The findings add a new understanding to the current literature which has not previously acknowledged the insight of the transitioning professional.

Growing length and time scales in glass-forming liquids

The glass transition, whereby liquids transform into amorphous solids at low temperatures, is a subject of intense research despite decades of investigation. Explaining the enormous increase in relaxation times of a liquid upon supercooling is essential for understanding the glass transition. Although many theories, such as the Adam-Gibbs theory, have sought to relate growing relaxation times to length scales associated with spatial correlations in liquid structure or motion of molecules, the role of length scales in glassy dynamics is not well established. Recent studies of spatially correlated rearrangements of molecules leading to structural relaxation, termed ``spatially heterogeneous dynamics,'' provide fresh impetus in this direction. A powerful approach to extract length scales in critical phenomena is finite-size scaling, wherein a system is studied for sizes traversing the length scales of interest. We perform finite-size scaling for a realistic glass-former, using computer simulations, to evaluate the length scale associated with spatially heterogeneous dynamics, which grows as temperature decreases. However, relaxation times that also grow with decreasing temperature do not exhibit standard finite-size scaling with this length. We show that relaxation times are instead determined, for all studied system sizes and temperatures, by configurational entropy, in accordance with the Adam-Gibbs relation, but in disagreement with theoretical expectations based on spin-glass models that configurational entropy is not relevant at temperatures substantially above the critical temperature of mode-coupling theory. Our results provide new insights into the dynamics of glass-forming liquids and pose serious challenges to existing theoretical descriptions.