488 search results - page 37 / 98 » On the Formal Generation of Process Redesigns |
128
Voted
UML
2001
Springer
15 years 6 months ago
2001
Springer
We describe formal steps in the design of iState, a tool for translating statecharts into programming languages. Currently iState generates code in either Java, or the Abstract Mac...
117
click to vote
EUROMICRO
2007
IEEE
15 years 3 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
104
click to vote
ACSAC
2001
IEEE
15 years 5 months ago
2001
IEEE
Vulnerabilities in distributed applications are being uncovered and exploited faster than software engineers can patch the security holes. All too often these weaknesses result fr...
127
click to vote
CIKM
2009
Springer
15 years 8 months ago
2009
Springer
This paper presents a study of a novel summarization problem called contrastive opinion summarization (COS). Given two sets of positively and negatively opinionated sentences whic...
111
click to vote
COLING
1992
15 years 3 months ago
1992
Q Should I take AI this semester? We address the problem of generating a coherent A If you want to take courses likeparagraph presenting arguments for a conclusion in a Natural La...