this paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic model-checking. We encode the state space and transition relation using ...
详细信息
ISBN:
(纸本)9783642007675
this paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic model-checking. We encode the state space and transition relation using hierarchical Set Decision Diagrams (SDD) [9]. In SDD, arcs of the structure are labeled with sets, themselves stored as SDD. To exploit the hierarchy of SDD, a structured model representation is needed. We thus introduce a formalism integrating a simple notion of type and instance. Complex composite behaviors are obtained using a synchronization mechanism borrowed from process calculi. Using this relatively general framework, we investigate how to capture similarities in regular and concurrent models. Experimental results are presented, showing that this approach can outperform in time and memory previous work in this area.
We present a multi-contextual interactive project which aims to create an open and real-time musical environment extending a natural ambient environment, namely an urban landscape. the basic idea is to convert in real...
详细信息
ISBN:
(纸本)9780769537900
We present a multi-contextual interactive project which aims to create an open and real-time musical environment extending a natural ambient environment, namely an urban landscape. the basic idea is to convert in real-time the input from a camera sensor recording a urban landscape (in our first test-case: Tokyo city at night) into an electronic musical soundscape. this is achieved by considering each blinking light as a rhythm source (or to combine several lights into a single source in order to have more complex rhythmic structures), to associate it to some sound from a sound bank and possibly to add some sound effects. this will thus generate many layers of intertwined rhythms that represent the pulse of the city through its blinking lights. therefore this project encompass artistic creation process embedding image tracking, artificial intelligence with inductive original tempo tracking and beat prediction algorithms. We perform pertinent image and symbolic descriptors extractions, as pulsation and rhythm features, in order to synchronize both musical and control worlds withthe natural visual environment. the key idea is to achieve an emergent rhythmic process for musical creation and generative music.
Petri nets have been widely studied as tool for specification, modeling and analysis of concurrent systems. However, surprisingly little research has been done for testing systemsthat are specified with Petri nets. W...
详细信息
ISBN:
(纸本)9783642050305
Petri nets have been widely studied as tool for specification, modeling and analysis of concurrent systems. However, surprisingly little research has been done for testing systemsthat are specified with Petri nets. When a formal model is used, variations of Finite State Machines are often used for the automated generation of test cases. In this paper, we study automated conformance testing when the formal specification is given as a k-safe Petri net. We provide a general framework to perform these tests, and give a few algorithms for test case generation based on different assumptions. We provide two inefficient, but general algorithms for k-safe Petri net conformance testing. We also provide efficient algorithms for testing k-safe free-choice Petri nets under specific fault assumptions.
the proceedings contain 25 papers. the topics discussed include: age and web access: the next generation;a survey of technology accessibility problems faced by older users in China;Hera-FFX: a Firefox add-on for semia...
ISBN:
(纸本)9781605585611
the proceedings contain 25 papers. the topics discussed include: age and web access: the next generation;a survey of technology accessibility problems faced by older users in China;Hera-FFX: a Firefox add-on for semiautomatic web accessibility evaluation;transition of accessibility evaluation tools to new standards;prosumers: a plague for accessibility?;audio presentation of auto-suggest lists;accessibility perspectives on enabling South African sign language in the South African national accessibility portal;combining SADIe and AxsJAX to improve the accessibility of web content;about the relevance of accessibility barriers in the everyday interactions of older people withthe web;and user requirement analysis for the design of a railway information and ticketing portal with emphasis on semantic accessibility for older users.
As the potential of a Next Generation Network (NGN) is recognized, telecommunication companies consider switching to it. Although the implementation of an NGN seems to be merely a modification of the network infrastru...
详细信息
ISBN:
(纸本)9781902316697
As the potential of a Next Generation Network (NGN) is recognized, telecommunication companies consider switching to it. Although the implementation of an NGN seems to be merely a modification of the network infrastructure, it may trigger or require changes in the whole company and even influence the company strategy. To capture the effects of NGN we propose a framework based on concepts of business engineering and technical recommendations for the introduction of NGN technology. the specific design of solutions for the layers "Strategy", "Processes" and "Information systems" as well as their interdependencies are an essential characteristic of the developed framework. We have per-formed a case study on NGN implementation and observed that all layers captured by our framework are influenced by the introduction of an NGN.
Cloud computing is growing rapidly, with applications in almost any area, including education. E-learning systems usually require many hardware and software resources. there are many educational institutions that cann...
详细信息
ISBN:
(纸本)9789604741342
Cloud computing is growing rapidly, with applications in almost any area, including education. E-learning systems usually require many hardware and software resources. there are many educational institutions that cannot afford such investments, and cloud computing is the best solution. this paper presents the positive impact of using cloud computing architectures upon e-learning solutions development. It focuses on the benefits of cloud computing for e-learning solutions and the e-learning project management challenges when this architecture is used.
Existing tools for supporting parallel work feature some disadvantages that prevent them to be widely used. Very often they require a complex installation and creation of accounts for all group members. Users need to ...
详细信息
ISBN:
(纸本)9783642042645
Existing tools for supporting parallel work feature some disadvantages that prevent them to be widely used. Very often they require a complex installation and creation of accounts for all group members. Users need to learn and deal with complex commands for efficiently using these collaborative tools. Some tools require users to abandon their favourite editors and impose them to use a certain co-authorship application. In this paper, we propose the DooSo6 collaboration tool that offers support for parallel work, requires no installation, no creation of accounts and that is easy to use, users being able to continue working withtheir favourite editors. User authentication is achieved by means of a capability-based mechanism.
the main goal of this paper is to develop an efficient method of triangular mesh generation for physical objects which have similar geometrical structure. the method is based on deforming a high quality mesh generated...
详细信息
ISBN:
(纸本)9783642032745
the main goal of this paper is to develop an efficient method of triangular mesh generation for physical objects which have similar geometrical structure. the method is based on deforming a high quality mesh generated over some "ideal" object into another object of the same structure with mesh quality preservation. the approach uses the Self Organizing Maps algorithm and has been applied for constructing meshes on human femur bones using the GeomBox and GeomRandom packages. A parallel deformation algorithm is implemented using MPI. the efficiency of the parallelization is about 90%.
Brand has been considered as one of the most important assets of a company and studied by many scholars. Brand knowledge, which comprises brand awareness and brand image, is the consumer side of brand. the objective o...
详细信息
ISBN:
(纸本)9781902316697
Brand has been considered as one of the most important assets of a company and studied by many scholars. Brand knowledge, which comprises brand awareness and brand image, is the consumer side of brand. the objective of this study is to reveal the brand knowledge of nine fashion brands which are largely consumed in Turkey. An exploratory study is performed among university students of different departments and the results are compared with respect to the departments, gender of the students and the usage frequencies of these brands. In conclusion it can be suggested that students belonging to the departments that are more related with fashion and female consumers have deeper brand knowledge.
the Modular Architecture for Bootstrapped Learning Experiments (MABLE) is a system that is being developed to allow humans to teach computers in the most natural manner possible: by using combinations of descriptions,...
详细信息
暂无评论