Sciweavers

15974 search results - page 2904 / 3195
» Object-Oriented Software Engineering
Sort
View
WWW
2004
ACM
16 years 5 months ago
On a web browsing support system with 3d visualization
Existing commercial Web browsers provide various utilities and functions, e.g., Web bookmarks and a browsing history list. Since the bookmark and history functions only the title ...
Toshihiro Yamaguchi, Hiromitsu Hattori, Takayuki I...
WWW
2003
ACM
16 years 5 months ago
Techniques and Metrics for Improving Website Structure
In this work two distinct metrics are proposed, which aim to quantify the importance of a web page based on the visits it receives by the users and its location within the website...
Eleni Christopoulou, John D. Garofalakis, Christos...
WWW
2002
ACM
16 years 5 months ago
An incremental XSLT transformation processor for XML document manipulation
In this paper, we present an incremental transformation framework called incXSLT. This framework has been experimented for the XSLT language defined at the World Wide Web Consorti...
Lionel Villard, Nabil Layaïda
132
Voted
WWW
2001
ACM
16 years 5 months ago
A Logic-based Framework for Mobile Intelligent Information Agents
Information agents are computational software systems that provides transparent access to many different information sources in the Internet, and to be able to retrieve, analyze, ...
Naoki Fukuta, Takayuki Ito, Toramatsu Shintani
CADE
2009
Springer
16 years 5 months ago
Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic
Abstract. Polynomial constraint-solving plays a prominent role in several areas of engineering and software verification. In particular, polynomial constraint solving has a long an...
Albert Rubio, Cristina Borralleras, Enric Rodr&iac...
« Prev « First page 2904 / 3195 Last » Next »