342 search results - page 19 / 69 » Compositional Testing with ioco |
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
Well engineered Web based courseware and exercises provide flexibility and added value to the students, which goes beyond the traditional text book or CD-ROM based courses. The Mu...
CSCW
2006
ACM
14 years 1 months ago
2006
ACM
Media sharing over mobile devices is quickly becoming a common practice, used to support a variety of social processes. Most existing systems employ a model of sharing that treats...
FORTE
2008
13 years 9 months ago
2008
Designing and interoperability testing of distributed, application-level network protocols is complex. Windows, for example, supports currently more than 200 protocols, ranging fro...
EMNLP
2010
13 years 5 months ago
2010
In many applications, replacing a complex word form by its stem can reduce sparsity, revealing connections in the data that would not otherwise be apparent. In this paper, we focu...
ALP
1994
Springer
13 years 11 months ago
1994
Springer
Abstract. We introduce a compositional characterization of the operational semantics of equational Horn programs. Then we show that this semantics and the standard operational sema...