Sciweavers

226 search results - page 15 / 46
» An Explicit Framework for Interaction Nets
Sort
View
ICWE
2005
Springer
15 years 5 months ago
The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae
As the Web becomes a platform for implementing complex B2C and B2B applications, there is a need to extend Web conceptual modeling to process-centric applications. In this context,...
Marco Brambilla, Alin Deutsch, Liying Sui, Victor ...
INFOCOM
1999
IEEE
15 years 4 months ago
Globally Progressive Interactive Web Delivery
- This paper suggests that since web browsing is an interactive process and downloading a web page can take several seconds to several minutes over slow links, the information pres...
Jeffrey M. Gilbert, Robert W. Brodersen
EUC
2006
Springer
15 years 3 months ago
wear-UCAM: A Toolkit for Mobile User Interactions in Smart Environments
In this paper, we propose a toolkit, wear-UCAM, which can support mobile user interactions in smart environments through utilizing user's context. With the rapid developments ...
Dongpyo Hong, Youngjung Suh, Ahyoung Choi, Umar Ra...
CSCWD
2004
Springer
15 years 5 months ago
Groupware System Design and the Context Concept
The concept of context can be advantageously applied to the Computer-Supported Cooperative Work field. The term awareness has traditionally been used in this area without explicit ...
Marcos R. S. Borges, Patrick Brézillon, Jos...
ENTCS
2002
129views more  ENTCS 2002»
14 years 11 months ago
Argumentative Agent Deliberation, Roles and Context
This paper presents an argumentation based framework to support an agent's deliberation process for drawing conclusions under a given policy. The argumentative policy of the ...
Antonis C. Kakas, Pavlos Moraitis