3011 search results - page 17 / 603 » Generating XML Based Specifications of Information Systems |
128
click to vote
ACMICEC
2004
ACM
15 years 6 months ago
2004
ACM
At the present time, the use of mobile technology in business, is becoming an opportunity to generate competitive advantages within organization environments. Mobile technology he...
ACSAC
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper focuses on the provision of a nonrepudiation service for CORBA. The current OMG specification of a CORBA non-repudiation service forces the programmer to augment the ap...
126
click to vote
UTP
2010
14 years 11 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
118
click to vote
ICADL
2003
Springer
15 years 6 months ago
2003
Springer
We designed and implemented a digital library system that supports content-based retrieval of multimedia objects based on MPEG-7 and XQuery. MPEG-7, a metadata standard for multim...
107
click to vote
APN
2000
Springer
15 years 5 months ago
2000
Springer
: In this paper, we suggest a requirement engineering process that generates a user interface prototype from scenarios and yields a formal specification of the system in form of a ...