Sciweavers

4270 search results - page 228 / 854
» A Permutation Approach to Validation
Sort
View
COLCOM
2008
IEEE
15 years 8 months ago
Mashup Model and Verification Using Mashup Processing Network
Abstract. Mashups are defined to be lightweight Web applications aggregating data from different Web services, built using ad-hoc composition and being not concerned with long term...
Ehtesham Zahoor, Olivier Perrin, Claude Godart
FMOODS
2006
15 years 8 months ago
Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams
Nondeterminism in specifications may be used for at least two different purposes. One is to express underspecification, which means that the specifier for the same environment beha...
Atle Refsdal, Ragnhild Kobro Runde, Ketil St&oslas...
COMPSEC
2004
95views more  COMPSEC 2004»
15 years 6 months ago
Cumulative notarization for long-term preservation of digital signatures
The long-term preservation of digitally signed documents may be approached and analyzed from various perspectives, i.e. future data readability, signature validity, storage media ...
Dimitrios Lekkas, Dimitris Gritzalis
DOCENG
2010
ACM
15 years 5 months ago
From templates to schemas: bridging the gap between free editing and safe data processing
In this paper we present tools that provide an easy way to edit XML content directly on the web, with the usual benefit of valid XML content. These tools make it possible to crea...
Vincent Quint, Cécile Roisin, Stépha...
RCIS
2010
15 years 4 months ago
Evaluating cross-organizational ERP requirements engineering practices: a focus group study
This focus group study presents our first validation of practices for engineering the coordination requirements in cross­ organizational Enterprise Resource Planning (ERP) project...
Maya Daneva, Niv Ahituv