The growing need for personalization and device independence calls for effective ways of engineering adaptive Web applications. This requires formats, languages and structured pro...
The UWE methodology provides a systematic, UML-based approach for the development of Web applications. The CASE tool ArgoUWE supports the design phase of the UWE development proces...
Abstract. WebML (Web Modelling Language) is a language for the design of dataintensive Web sites. It is supported by visual tools allowing the definition of the conceptual data or...
This paper describes the general system and software architecture for the Internet-based robotic teleoperation system using virtual reality tools. The existing technology and appl...
—We present an implementation of pstable model semantics. Our implementation uses the well known tools: MiniSat and Lparse. Also we show the utility of an automatic demonstrator ...
Fernando Uceda Ponga, Fernando Zacarias Flores, Di...