838 search results - page 65 / 168 » From Natural Language to Formal Proof Goal |
187
click to vote
FM
2009
Springer
16 years 21 days ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
164
click to vote
PLDI
2012
ACM
13 years 8 months ago
2012
ACM
Approximate program transformations such as skipping tasks [29, 30], loop perforation [21, 22, 35], reduction sampling [38], multiple selectable implementations [3, 4, 16, 38], dy...
189
click to vote
MODELS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. UML activity diagrams have become an established notamodel control and data flow on various levels of abstraction, ranging from fine-grained descriptions of algorithms ...
151
click to vote
ECBS
2005
IEEE
15 years 11 months ago
2005
IEEE
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...
180
click to vote
UMUAI
2010
15 years 4 months ago
2010
Conversation is an essential component of social behavior, one of the primary means by which humans express intentions, beliefs, emotions, attitudes and personality. Thus the deve...