Sciweavers

3294 search results - page 84 / 659
» Taxonomy of Process Modeling Languages
Sort
View
ICALP
2000
Springer
15 years 3 months ago
A Generic Model for Diagram Syntax and Semantics
In this paper, we recall how the syntax of diagrams is captured by the diagram editor generator DIAGEN, and outline a visual, rule-based, and objectoriented programming language b...
Berthold Hoffmann, Mark Minas
LOGCOM
2008
104views more  LOGCOM 2008»
14 years 12 months ago
Testing the Reasoning for Question Answering Validation
Question Answering (QA) is a task that deserves more collaboration between Natural Language Processing (NLP) and Knowledge Representation (KR) communities, not only to introduce r...
Anselmo Peñas, Álvaro Rodrigo, Valen...
ENTCS
2008
87views more  ENTCS 2008»
14 years 12 months ago
Process Algebra with Local Communication
In process algebras like CRL and ACP communication is defined globally. In the context of component-based architectures one wishes to define subcomponents of a system separately, ...
Muck van Weerdenburg
FM
2009
Springer
127views Formal Methods» more  FM 2009»
15 years 6 months ago
Automated Property Verification for Large Scale B Models
Michael Leuschel, Jérôme Falampin, Fa...