Sciweavers

672 search results - page 59 / 135
» On the Expressive Power of the Loop Language
Sort
View
OOPSLA
2010
Springer
15 years 4 months ago
The Spoofax language workbench
Domain-specific languages offer high expressive power foa particular problem domain, abstracting over the accidental complexity associated with traditional software development. ...
Lennart C. L. Kats, Eelco Visser
WWW
2010
ACM
15 years 10 months ago
visKQWL, a visual renderer for a semantic web query language
KiWi is a semantic Wiki that combines the Wiki philosophy of collaborative content creation with the methods of the Semantic Web in order to enable effective knowledge management...
Andreas Hartl, Klara A. Weiand, François Br...
CORR
2011
Springer
175views Education» more  CORR 2011»
15 years 1 months ago
Finitary languages
Abstract The class of ω-regular languages provide a robust specification language in verification. Every ω-regular condition can be decomposed into a safety part and a liveness...
Krishnendu Chatterjee, Nathanaël Fijalkow
ECCB
2005
IEEE
15 years 11 months ago
A query language for biological networks
Many areas of modern biology are concerned with the management, storage, visualization, comparison, and analysis of networks. For instance, networks are used to model signal trans...
Ulf Leser
ECAI
1998
Springer
15 years 10 months ago
What You See Is What You Meant: direct knowledge editing with natural language feedback
Many kinds of knowledge-based system would be easier to develop and maintain if domain experts (as opposed to knowledge engineers) were in a position to define and edit the knowled...
Richard Power, Donia Scott, Roger Evans