Sciweavers

3294 search results - page 54 / 659
» Taxonomy of Process Modeling Languages
Sort
View
EMNLP
2011
13 years 11 months ago
A Correction Model for Word Alignments
J. Scott McCarley, Abraham Ittycheriah, Salim Rouk...
ECSA
2008
Springer
15 years 1 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à
FM
2009
Springer
90views Formal Methods» more  FM 2009»
15 years 6 months ago
Fair Model Checking with Process Counter Abstraction
Jun Sun 0001, Yang Liu 0003, Abhik Roychoudhury, S...