Sciweavers

3294 search results - page 54 / 659
» Taxonomy of Process Modeling Languages
Sort
View
EMNLP
2011
14 years 2 months ago
A Correction Model for Word Alignments
J. Scott McCarley, Abraham Ittycheriah, Salim Rouk...
ECSA
2008
Springer
15 years 4 months ago
Non-synchronous Communications in Process Algebraic Architectural Description Languages
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...
Marco Bernardo, Edoardo Bontà
79
Voted
FM
2009
Springer
90views Formal Methods» more  FM 2009»
15 years 9 months ago
Fair Model Checking with Process Counter Abstraction
Jun Sun 0001, Yang Liu 0003, Abhik Roychoudhury, S...