Sciweavers

627 search results - page 97 / 126
» Branched Polyhedral Systems
Sort
View
ICSE
2005
IEEE-ACM
14 years 8 months ago
An empirical evaluation of test case filtering techniques based on exercising complex information flows
Some software defects trigger failures only when certain complex information flows occur within the software. Profiling and analyzing such flows therefore provides a potentially i...
David Leon, Wes Masri, Andy Podgurski
AOSD
2009
ACM
14 years 3 months ago
Automated test data generation for aspect-oriented programs
Despite the upsurge of interest in the Aspect-Oriented Programming (AOP) paradigm, there remain few results on test data generation techniques for AOP. Furthermore, there is no wo...
Mark Harman, Fayezin Islam, Tao Xie, Stefan Wapple...
NOSSDAV
2009
Springer
14 years 3 months ago
Rapid identification of Skype traffic flows
In this paper we present results of experimental work using machine learning techniques to rapidly identify Skype traffic. We show that Skype traffic can be identified by observin...
Philip Branch, Amiel Heyde, Grenville J. Armitage
SEMWEB
2009
Springer
14 years 3 months ago
Optimizing Web Service Composition While Enforcing Regulations
Abstract. To direct automated Web service composition, it is compelling to provide a template, workflow or scaffolding that dictates the ways in which services can be composed. I...
Shirin Sohrabi, Sheila A. McIlraith
COLCOM
2008
IEEE
14 years 3 months ago
The Data Interoperability Problem as an Exemplary Case Study in the Development of Software Collaboration Environments
The Data Interoperability Problem appears in contexts where consumers need to peruse data owned by producers, and the syntax and/or semantics of such data—at both end points—ar...
Arturo J. Sánchez-Ruíz, Karthikeyan ...