Sciweavers

603 search results - page 62 / 121
» Rapid Prototyping with AutoFocus
Sort
View
SAC
2003
ACM
14 years 28 days ago
Design and Implementation of a Graphical Interface to Xquery
As the use of XML is rapidly growing, a growing number of users without programming skills will need to query XML data. Although designed to be easily understood by humans, XQuery...
Enrico Augurusa, Daniele Braga, Alessandro Campi, ...
WORDS
2002
IEEE
14 years 17 days ago
Evaluating UMl Extensions for Modeling Real-Time Systems
Rather recently object-oriented modeling languages, tools, and methods attract the interest of embedded (realtime) system developers. This is especially true if embedded (real-tim...
Lutz Bichler, Ansgar Radermacher, Andy Schürr
ICAPR
2001
Springer
14 years 4 days ago
Image Retrieval Using a Hierarchy of Clusters
The goal of this paper is to describe an efficient procedure for color-based image retrieval. The proposed procedure consists of two stages. First, the image data set is hierarchi...
Daniela Stan, Ishwar K. Sethi
LOPSTR
2001
Springer
14 years 3 days ago
Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...
Giorgio Delzanno, Sandro Etalle
UML
2001
Springer
14 years 3 days ago
A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems
Abstract: A lightweight UML-based software development method for building reliable software systems is proposed. It attempts to combine the coding emphasis of Extreme Programming ...
Richard F. Paige, Jonathan S. Ostroff