4469 search results - page 95 / 894 » A Language for Role Specifications |
137
click to vote
ICFCA
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. In the past years Software Engineering has experienced several difficulties in modularising crosscutting aspects, like shared, dynamic or scattered behavior of object-ori...
145
click to vote
APLAS
2003
ACM
15 years 8 months ago
2003
ACM
Abstract. Much work has been done in verifying a compiler specification, both in hand-written and mechanical proofs. However, there is still a gap between a correct compiler specif...
105
click to vote
ENTCS
2008
15 years 4 months ago
2008
One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchron...
155
click to vote
GI
2009
Springer
15 years 2 months ago
2009
Springer
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
153
click to vote
EMNLP
2010
15 years 2 months ago
2010
We show that jointly performing semantic role labeling (SRL) on bitext can improve SRL results on both sides. In our approach, we use monolingual SRL systems to produce argument c...