Domain-specific languages facilitate solving problems in a targeted domain by providing features particular to the domain. Declarative domain-specific languages have the additional benefit that users specify what some...
详细信息
We are proposing a keyword-based query interface for knowledge bases - including relational or deductive databases - based on contextual background knowledge such as suitable join conditions or synonyms. Join conditio...
详细信息
作者:
Becket, RalphSomogyi, ZoltanNICTA
Department of Computer Science and Software Engineering University of Melbourne 111 Barry Street Parkville VIC 3010 Australia
Packrat parsing is a newly popular technique for efficiently implementing recursive descent parsers. Packrat parsing avoids the potential exponential costs of recursive descent parsing with backtracking by ensuring th...
详细信息
the concept of classification as realized in most traditional object-oriented computer languages has certain limitations that may inhibit its application to modeling more complex phenomena. this is likely to prove pro...
详细信息
Context-sensitive graph grammars have been rigorous formalisms for specifying visual programminglanguages, as they possess sufficient expressive powers and intuitive forms. Efficient parsing mechanisms are essential ...
详细信息
the development of intelligent software agents and other complex applications which continuously interact withtheir environments has been one of the reasons why explicit concurrency has become a necessity in a modern...
详细信息
this book constitutes the thoroughly refereed proceedings of the 10thinternationalsymposium on Automated Technology for Verification and Analysis, ATVA 2012, held at thiruvananthapuram, Kerala, India, in October 201...
详细信息
ISBN:
(数字)9783642333866
ISBN:
(纸本)9783642333859
this book constitutes the thoroughly refereed proceedings of the 10thinternationalsymposium on Automated Technology for Verification and Analysis, ATVA 2012, held at thiruvananthapuram, Kerala, India, in October 2012. the 25 regular papers, 3 invited papers and 4 tool papers presented were carefully selected from numerous submissions. Conference papers are organized in 9 technical sessions, covering the topics of automata theory, logics and proofs, model checking, software verification, synthesis, verification and parallelism, probabilistic verification, constraint solving and applications, and probabilistic systems.
Manycore architectures are gaining attention as a means to meet the performance and power demands of high-performance embedded systems. However, their widespread adoption is sometimes constrained by the need for maste...
详细信息
Recently, virtual worlds like "Second Life" have received a lot of attention not only as environments that, promote social interaction, but also as media in which scientific research can be performed effecti...
详细信息
ISBN:
(纸本)9783642021145
Recently, virtual worlds like "Second Life" have received a lot of attention not only as environments that, promote social interaction, but also as media in which scientific research can be performed effectively. In this latter aspect, they offer several advantages over traditional 3D visual applications, such as the capacity of supporting true collaborative endeavors in which real people, through the use of graphical avatars, can simultaneously discuss and analyze data, thereby enhancing their collaborative experience. Unfortunately, processing capabilities of current virtual worlds are limited when trying to visualize this data as 3D objects. External applications to solve this problem have been developed, but their functionality is obscure and they require good understanding in programminglanguages. To overcome these inconveniences for common users, we have developed EML3D (Environment Markup Language 3D), a markup language that provides a tool to manipulate virtual objects in Second Life in an easy and stable way.
Diverse data is collected in health care for secondary usage. However, this data is collected by various parties and processed by numerous information systems. Hence, to get reliable results, the data integrity must b...
详细信息
暂无评论