Sciweavers

21342 search results - page 83 / 4269
» A Structured Language Model
Sort
View
FM
2009
Springer
106views Formal Methods» more  FM 2009»
15 years 8 months ago
Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...
Rik Eshuis
ACL
2010
15 years 9 days ago
Unsupervised Discourse Segmentation of Documents with Inherently Parallel Structure
Documents often have inherently parallel structure: they may consist of a text and ries, or an abstract and a body, or parts presenting alternative views on the same problem. Reve...
Minwoo Jeong, Ivan Titov
PARLE
1987
15 years 5 months ago
Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages
A context-freegrammar(CFG)in GreibachNormalForm coincides,in anothernotation,witha system of guarded recursion equations in Basic Process Algebra. Hence to each CFG a process can b...
Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop
80
Voted
ELPUB
1999
ACM
15 years 6 months ago
A Structured Link Document as a New Means for Composing and Publishing Technical Customer Documentation in Extranets and Intrane
Internet technology together with the SGML based XML language family provide means to develop technical customer document management in inter-organisational industrial projects. T...
Anneli Heimbürger
EUROMICRO
1998
IEEE
15 years 6 months ago
System Level Modelling for Hardware/Software Systems
Industry is facing a crisis in the design of complex hardware/software systems. Due to the increasing complexity, the gap between the generation of a product idea and the realisat...
Jeroen Voeten, P. H. A. van der Putten, Marc Geile...