Sciweavers

488 search results - page 80 / 98
» Interaction design in India: past, present and future
Sort
View
ECOWS
2007
Springer
15 years 3 months ago
Composing Services with JOLIE
Service composition and service statefulness are key concepts in Web Service system programming. In this paper we present JOLIE, which is the full implementation of our formal cal...
Fabrizio Montesi, Claudio Guidi, Gianluigi Zavatta...
ICALT
2006
IEEE
15 years 3 months ago
Analyzing Student Activity in Computer Assisted Language Learning
We study the use of a computer application, intended for Computer Assisted Language Learning (CALL). We present an analytical framework for CALL, consisting of technology, interac...
Petter Karlström, Teresa Cerratto Pargman
CCR
2004
151views more  CCR 2004»
14 years 9 months ago
Practical verification techniques for wide-area routing
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
Nick Feamster
CG
1999
Springer
14 years 9 months ago
Virtual reality as a tool for verification of assembly and maintenance processes
Business process re-engineering is becoming a main focus in today's efforts to overcome problems and deficits in the automotive and aerospace industries (e.g., integration in...
Antonino Gomes de Sá, Gabriel Zachmann
INFOCOM
1998
IEEE
15 years 1 months ago
TCP Behavior of a Busy Internet Server: Analysis and Improvements
The rapid growth of the World Wide Web in recent years has caused a significant shift in the composition of Internet traffic. Although past work has studied the behavior of TCP dy...
Hari Balakrishnan, Venkata N. Padmanabhan, Sriniva...