Sciweavers

2988 search results - page 111 / 598
» Interacting with Web Hierarchies
Sort
View
BIRTHDAY
2006
Springer
14 years 20 days ago
Reasoning About Web Services in a Temporal Action Logic
The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...
Alberto Martelli, Laura Giordano
COMPSAC
2003
IEEE
14 years 2 months ago
PeAgent - A Mobile Agent System to Support Secure Internet and Web Applications
Many agent-based systems have been developed over the past decade; however, the security issues are usually not addressed adequately. In order to make the mobile agent paradigm mo...
Qingkai Ma, Wei Hao, Wei Li, Manghui Tu, I-Ling Ye...
NAR
2011
211views Computer Vision» more  NAR 2011»
12 years 11 months ago
DIMA 3.0: Domain Interaction Map
Domain Interaction MAp (DIMA, available at http:// webclu.bio.wzw.tum.de/dima) is a database of predicted and known interactions between protein domains. It integrates 5807 struct...
Qibin Luo, Philipp Pagel, Baiba Vilne, Dmitrij Fri...
CHI
1998
ACM
14 years 1 months ago
Visualizing the Evolution of Web Ecologies
Several visualizations have emerged which attempt to visualize all or part of the World Wide Web. Those visualizations, however, fail to present the dynamically changing ecology o...
Ed Huai-hsin Chi, James E. Pitkow, Jock D. Mackinl...
ENTCS
2006
128views more  ENTCS 2006»
13 years 9 months ago
Web Verification: Perspective and Challenges
The Web poses novel and interesting problems for both programming language design and verification--and their intersection. This paper provides a personal outline of one thread of...
Shriram Krishnamurthi