Sciweavers

2419 search results - page 326 / 484
» A Formal Approach to Software Testing
Sort
View
ICWE
2009
Springer
15 years 1 months ago
Fine-Grained Analysis of Web Tasks through Data Visualization
Abstract. This paper presents an approach for monitoring several important aspects related to user behaviour during the execution of Web tasks1 . The approach includes the tracking...
Gennaro Costagliola, Vittorio Fuccella
138
Voted
WWW
2007
ACM
16 years 4 months ago
Computer-Supported Collaborative Knowledge Modeling in Ecology
We describe collaborative efforts between a knowledge representation team, a community of scientists, and scientific information managers in developing knowledge models for ecolog...
Deana Pennington, Joshua S. Madin, Ferdinando Vill...
SEKE
2007
Springer
15 years 10 months ago
A Development Platform for Distributed User Interfaces
Developing user interfaces for a heterogeneous environment is a difficult challenge. Partial distribution of the user interface is an event harder one. Specifically providing de...
Anders Larsson, Magnus Ingmarsson, Bo Sun
COMSWARE
2006
IEEE
15 years 10 months ago
Case study on the use of SDL for specifying an IETF micro mobility protocol
—Recent protocols are become increasingly complex, and lead to further level of complexity when used in combination, often resulting in ambiguous behavior. This paper, starting f...
Telemaco Melia, Amardeo Sarma, Rui L. Aguiar, Diet...
ECWEB
2005
Springer
102views ECommerce» more  ECWEB 2005»
15 years 9 months ago
Improving Web Design Methods with Architecture Modeling
Many approaches have been developed for modeling the functional aspects of Web applications, but there is a lack of a modeling language for their architectural concerns. This paper...
Santiago Meliá, Jaime Gómez, Nora Ko...