50 search results - page 2 / 10 » Automatic Conformance Testing of Internet Applications |
JAVACARD
2000
13 years 8 months ago
2000
: Open-cards have introduced a new life cycle for smart card embedded applications. In the case of Java Card, they have raised the problem of embedded object-oriented applet valida...
EPEW
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Global choreographies define the rules that peers should respect in their interaction, with the aim of guaranteeing interoperability. act choreography can be seen as a p...
SEMWEB
2010
Springer
13 years 3 months ago
2010
Springer
We present a scalable, SPARQL-based computational pipeline for testing the lattice-theoretic properties of partial orders represented as RDF triples. The use case for this work is ...
ICWE
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. In this paper we discuss the automatic construction of webbased courseware applications from XML descriptions of appropriate UML models. The created applications conform ...
ISSRE
2005
IEEE
13 years 10 months ago
2005
IEEE
The eXtensible Markup Language (XML) is widely used to transmit data across the Internet. XML schemas are used to define the syntax of XML messages. XML-based applications can re...