4079 search results - page 699 / 816 » Differential Testing for Software |
HICSS
2009
IEEE
14 years 4 months ago
2009
IEEE
This work is based on the premise that online learning environments can potentially help develop communities of scholars by enabling participants to discover persons and resources...
SAC
2009
ACM
14 years 4 months ago
2009
ACM
A wide range of web service choreography constraints on the content and sequentiality of messages can be translated into Linear Temporal Logic (LTL). Although they can be statical...
ARC
2009
Springer
14 years 4 months ago
2009
Springer
As the need for information security increases in our everyday life, the job of encoding/decoding for secure information delivery becomes a critical issue in data network systems. ...
CCS
2009
ACM
14 years 4 months ago
2009
ACM
Open distributed systems such as service oriented architecture and cloud computing have emerged as promising platforms to deliver software as a service to users. However, for many...
FOSSACS
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Trees can be conveniently compressed with linear straight-line contextfree tree grammars. Such grammars generalize straight-line context-free string grammars which are wi...