Sciweavers

3334 search results - page 574 / 667
» XML to XML through XML
Sort
View
KBSE
2007
IEEE
15 years 4 months ago
A dynamic birthmark for java
Code theft is a threat for companies that consider code as a core asset. A birthmark can help them to prove code theft by identifying intrinsic properties of a program. Two progra...
David Schuler, Valentin Dallmeier, Christian Lindi...
LICS
2007
IEEE
15 years 4 months ago
First-Order and Temporal Logics for Nested Words
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
Rajeev Alur, Marcelo Arenas, Pablo Barceló,...
QEST
2007
IEEE
15 years 4 months ago
Interchange Formats for Performance Models: Experimentation and Ouput
XML-based interchange formats for performance models provide a mechanism whereby performance model information may be transferred among modeling tools. For example, the PMIF allow...
Connie U. Smith, Catalina M. Lladó, Ram&oac...
SEMCO
2007
IEEE
15 years 4 months ago
SA-REST and (S)mashups : Adding Semantics to RESTful Services
The evolution of the Web 2.0 phenomenon has led to the increased adoption of the RESTful services paradigm. RESTful services often take the form of RSS/Atom feeds and AJAX based l...
Jon Lathem, Karthik Gomadam, Amit P. Sheth
WECWIS
2007
IEEE
115views ECommerce» more  WECWIS 2007»
15 years 4 months ago
WSC-07: Evolving the Web Services Challenge
Service-oriented architecture (SOA) is an evolving architectural paradigm where businesses can expose their capabilities as modular, network-accessible software services. By decom...
M. Brian Blake, William Kwok-Wai Cheung, Michael C...