The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mechanisms for requirements and software verification are by now a well-accepted part of the design process, and model driven architectures support the automation of the refinement process. We claim that we can further pu...

We present the results of a combination of new stellar rotation periods and extensive information about membership in the young open clusters M 35 and M 34. The observations show that late-type members of both M 35 and M 34 divide into two distinct groups, each with a different dependence of rotation on mass (color). We discuss these new results in the context of existing rotation data for cool...

End-to-end connections experience a high level of diversity in network characteristics. At one extreme, an application may receive highly degraded service, leaving the application unusable. At another extreme, the costs to guarantee some level of service may be undesirably high to the user or overall system. Open architecture networks help applications push adaptation technology into the networ...

I review selected current observations of distant galaxies and our interpretation of the fragile (and occasionally contradictory) data. Galaxies at the “contemporary limit” of technology and redshift (z ∼ 6) are difficult to locate in the first place. Moreover, the large redshift may push some critical confirming and/or interpretative analysis toward unfamiliar IR wavelengths. I will concentrat...

Physical schemas are representations of simple physically grounded relationships and interactions such as \move," \push," and \contain." We believe they are the conceptual primitives an agent employs to understand its environment. Physical schemas can be used at varying levels of abstraction across a variety of domains. We have designed a domain-general agent simulation and control testbed base...

This paper presents research which demonstrates how the detailed logging and analysis of a user’s actions in a cable harness virtual reality (VR) design and manufacturing system permits automated design task analysis and process mapping, which facilitates information push. Based on prior research, which utilised user-logging to automatically generate assembly plans and time and motion study tec...

Physical schemas are representations of simple physically grounded relationships and interactions such as “move,” “push,” and “contain.” We believe they are the conceptual primitives an agent employs to understand its environment. Physical schemas can be used at varying levels of abstraction across a variety of domains. We have designed a domain-general agent simulation and control testbed base...