In this paper, we present the LearnLib, a library of tools for automata learning, which is explicitly designed for the systematic experimental analysis of the profile of available learning algorithms and corresponding...
详细信息
Maintainability, extendibility and reusability of components in the design of robot control architectures is a major challenge. Parallel kinematic robots feature a wide variety of structures and applications. They are...
详细信息
This paper introduces Stochastic Definite Clause Grammars, a stochastic variant of the wellknown Definite Clause Grammars. The grammar formalism supports parameter learning from annotated or unannotated corpora and pr...
详细信息
This paper introduces Stochastic Definite Clause Grammars, a stochastic variant of the wellknown Definite Clause Grammars. The grammar formalism supports parameter learning from annotated or unannotated corpora and provides a mechanism for parse selection by means of statistical inference. Unlike probabilistic contextfree grammars, it is a context-sensitive grammar formalism and it has the ability to model cross-serial dependencies in natural language. SDCG also provides some syntax extensions which makes it possible to write more compact grammars and makes it straight-forward to add lexicalization schemes to a grammar.
This project aims to investigate biologically inspired, logic-statistic models with constraints. The complexity and expressiveness of models with different kinds of constraints will be examined and algorithms to effic...
详细信息
Early in the dark days of World War II, President Roosevelt asked the Navy how it would provide the thousands of ships necessary for the numerous amphibious assault landings that were being planned. At a subsequent hi...
详细信息
Early in the dark days of World War II, President Roosevelt asked the Navy how it would provide the thousands of ships necessary for the numerous amphibious assault landings that were being planned. At a subsequent high-level meeting, where John Neidermair, the Technical Director of the Preliminary Design Division at BUSHIPS (Bureau of Ships-a predecessor organization to the Naval Sea systems Command-NAVSEA), created a concept design sketch of the now famous LSTs. It was this same BUSHIPS Ship Design organization that designed the US Navy Fleet which defeated the Japanese and German navies. And it was the BUSHIPS successor organization, NAVSEA, which designed the 600-ship Fleet during the President Reagan build-up of the 1980s and early 1990s. This early stage ship design capability to translate the operators' needs into technically feasible ship concepts and designs is still a core responsibility of NAVSEA. However, NAVSEA is now undertaking the grand challenge of rebuilding the Navy's ship design capabilities which were dramatically downsized during the 1990s. The Human Capital Strategy for Ship Design Acquisition Workforce Improvement is a proven road map for reconstituting the Navy's ship design capabilities and reinvigorating the naval ship design community. The Office of Naval Research (ONR) and NAVSEA made significant progress in this direction by establishing the Navy's Center for Innovation in Ship Design (CISD). CISD is accelerating the career development of ship design leaders, and is paving the way for fully implementing a Human Capital Strategy for Ship Design Acquisition Workforce Improvement.
For understanding the performance differences caused by different computer architectures and optimization technologies, the paper characterizes performance of SPEC CPU2006 benchmarks both on Intel and AMD platform. Us...
详细信息
For understanding the performance differences caused by different computer architectures and optimization technologies, the paper characterizes performance of SPEC CPU2006 benchmarks both on Intel and AMD platform. Using the performance events collected by Performance Monitor Unit, we compare their performance differences and analyze the causes from the features of architectures and the optimization technologies. Our results and analysis help the programmers better understand the memory performance and branch prediction performance which are caused by architectures and guide them in the optimization. The analysis also help the processor architects better balance among the key architecture factors such as memory disambiguation and hardware prefetch when doing architecture design decision.
作者：
Robin LampertDavid HamiltonElliot SolowayYale University
Department of Computer Science Cognition and Programming Project P. O. Box 2158 Yale Station New Haven CT 06520 IBM
Systems Integration Division 3700 Bay Area Blvd. Houston TX 77058 U.S.A.
In an effort to learn more about how testers test code, we observed several testers while they designed tests to check a change which had been made to code. Using a case study methodology, we gathered empirical data f...
In an effort to learn more about how testers test code, we observed several testers while they designed tests to check a change which had been made to code. Using a case study methodology, we gathered empirical data from the ‘real world’—professional testers, and actual software products. We found that testers do share some common work patterns. These patterns can be seen in their information gathering, their use of heuristics and their construction of mental models. This work is extremely knowledge intensive, experience appears to have a useful effect. In this paper we will discuss how we collected and analysed our data. Then we will present some of our observations about how the testers gathered information, used heuristics, formed mental models and were affected by their previous experience in the course of designing their test scenarios. Based on these observations we comment on training and tools for testers.
In this paper, we present hybrid testing, a method that combines replay-testing (static testing) with automata learning techniques that generate models of black box systems (dynamic testing). This combination helps br...
详细信息
ISBN:
(纸本)9781605580524
In this paper, we present hybrid testing, a method that combines replay-testing (static testing) with automata learning techniques that generate models of black box systems (dynamic testing). This combination helps bridging the gap towards model based testing also for legacy systems. Webtest is an implementation of hybrid testing that builds on top of preexisting technology such as the LearnLib, a framework for automata learning, and the jABC, a framework for modeldriven and service-oriented design, that we use here for modelling, executing, and managing test suites for and models of the web applications under analysis. In particular we intend to move towards Rich Internet Applications (RIAs), that include e.g. advanced client side capabilities and access to heavy resources (e.g. database access) over the Web. Copyright 2008 ACM.
Web-based access to sensitive and confidential data is realized today via different approaches, using a variety of methods to specify and combine access control policies. In an optic of change management and evolution...
详细信息
ISBN:
(纸本)9781605580524
Web-based access to sensitive and confidential data is realized today via different approaches, using a variety of methods to specify and combine access control policies. In an optic of change management and evolution, a structured and flexible model is needed to handle dynamicity, particularly when handling rights in systems with many users which hold different roles. Furthermore the validation of security constraints is an important key to warrant the reliability of control mechanisms. This paper compares the temporal logic-based approach for modeling access control used by the jABC framework with two popular XML-based description languages (XACML and WS-Policy), which are quasi-standards for policy expression in Web applications. Its usage is illustrated here on the example of the web-based Online Conference Service (OCS). The respective functionalities are described and examined in consideration of their ability to validate and enforce the needed policies. Copyright 2008 ACM.
In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (or configuration) algorithm originally embedded ...
详细信息
In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (or configuration) algorithm originally embedded in the ABC and in the ETI platforms. The algorithm works on the basis of the existing jABC library of available services (SIB library) and of an enhanced description of their semantics given in terms of a taxonomic classification of their behaviour (modules) and abstract interfaces/messages (types).
暂无评论