Sciweavers

7776 search results - page 1409 / 1556
» Maintaining Maintainability
Sort
View
ICDE
2007
IEEE
170views Database» more  ICDE 2007»
15 years 10 months ago
A UML Profile for Core Components and their Transformation to XSD
In business-to-business e-commerce, traditional electronic data interchange (EDI) approaches such as UN/EDIFACT have been superseded by approaches like web services and ebXML. Nev...
Christian Huemer, Philipp Liegl
ICLP
2007
Springer
15 years 10 months ago
Web Sites Verification: An Abductive Logic Programming Tool
We present the CIFFWEB system, an innovative tool for the verification of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web...
Paolo Mancarella, Giacomo Terreni, Francesca Toni
HPCC
2009
Springer
15 years 10 months ago
Dynamically Filtering Thread-Local Variables in Lazy-Lazy Hardware Transactional Memory
Abstract--Transactional Memory (TM) is an emerging technology which promises to make parallel programming easier. However, to be efficient, underlying TM system should protect only...
Sutirtha Sanyal, Sourav Roy, Adrián Cristal...
3DPVT
2004
IEEE
109views Visualization» more  3DPVT 2004»
15 years 10 months ago
Enhanced Real-time Stereo Using Bilateral Filtering
In recent years, there have been significant strides in increasing quality of range from stereo using global techniques such as energy minimization. These methods cannot yet achie...
Adnan Ansar, Andres Castano, Larry Matthies
ACSC
2004
IEEE
15 years 10 months ago
Visually Sealed and Digitally Signed Documents
One of the primary flaws with current digital signature technology is that a digital signature does not "feel" or resemble a traditional seal or personal signature to th...
Vicky Liu, William J. Caelli, Ernest Foo, Selwyn R...
« Prev « First page 1409 / 1556 Last » Next »